Pages that link to "Item:Q1302298"
From MaRDI portal
The following pages link to On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations (Q1302298):
Displaying 9 items.
- Abbreviation templates (Q851527) (← links)
- Revisiting the notion of function (Q1394989) (← links)
- De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case (Q1763159) (← links)
- The Barendregt cube with definitions and generalised reduction (Q1917101) (← links)
- A framework for defining logical frameworks (Q2864157) (← links)
- Automath Type Inclusion in Barendregt’s Cube (Q3194722) (← links)
- (Q4247266) (← links)
- Automath and Pure Type Systems (Q4924545) (← links)
- (Q5140267) (← links)