Pages that link to "Item:Q265798"
From MaRDI portal
The following pages link to Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798):
Displaying 4 items.
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- A dependent type theory with abstractable names (Q530845) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- The nominal/FM Yoneda Lemma (Q4988443) (← links)
