Pages that link to "Item:Q913792"
From MaRDI portal
The following pages link to Alpha conversion, conditions on variables and categorical logic (Q913792):
Displaying 9 items.
- Comprehension categories and the semantics of type dependency (Q1208414) (← links)
- Combinators and categorial grammar (Q1264141) (← links)
- Alpha-conversion and typability (Q1854262) (← links)
- Products of families of types and (Pi,lambda)-structures on C-systems (Q2953831) (← links)
- Physics, Topology, Logic and Computation: A Rosetta Stone (Q3000920) (← links)
- (Q3138536) (← links)
- (Q3142163) (← links)
- (Q3201049) (← links)
- Kripke Semantics for Martin-Löf’s Extensional Type Theory (Q3637199) (← links)