Pages that link to "Item:Q4895552"
From MaRDI portal
The following pages link to Canonical typing and ∏-conversion in the Barendregt Cube (Q4895552):
Displayed 6 items.
- On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations (Q1302298) (← links)
- A unified approach to type theory through a refined \(\lambda\)-calculus (Q1349674) (← links)
- A useful \(\lambda\)-notation (Q1365680) (← links)
- Revisiting the notion of function (Q1394989) (← links)
- Automath Type Inclusion in Barendregt’s Cube (Q3194722) (← links)
- THE SOUNDNESS OF EXPLICIT SUBSTITUTION WITH NAMELESS VARIABLES (Q5248982) (← links)