Pages that link to "Item:Q3678692"
From MaRDI portal
The following pages link to Semantics for classical AUTOMATH and related systems (Q3678692):
Displaying 6 items.
- The semantics of second-order lambda calculus (Q751294) (← links)
- On the syntax of Martin-Löf's type theories (Q1099173) (← links)
- The calculus of constructions (Q1108266) (← links)
- A coinductive completeness proof for the equivalence of recursive types (Q1607224) (← links)
- Categorical semantics for higher order polymorphic lambda calculus (Q3783264) (← links)
- Semantics of the second order lambda calculus (Q4006235) (← links)