Pages that link to "Item:Q4946631"
From MaRDI portal
The following pages link to Topological representation of the λ-calculus (Q4946631):
Displayed 3 items.
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) (Q1130233) (← links)
- Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)