The following pages link to (Q3024853):
Displaying 13 items.
- A completeness result for the simply typed \(\lambda \mu \)-calculus (Q732057) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- Building continuous webbed models for system F (Q1826624) (← links)
- A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions (Q1850959) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- The maximality of the typed lambda calculus and of cartesian closed categories (Q2724040) (← links)
- Kripke Semantics for Martin-Löf’s Extensional Type Theory (Q3637199) (← links)
- (Q4611381) (← links)
- (Q4855295) (← links)
- The Typed Böhm Theorem (Q4916173) (← links)
- On dinaturality, typability and \(\beta\eta\)-stable models (Q5111327) (← links)
- ETA-RULES IN MARTIN-LÖF TYPE THEORY (Q5240810) (← links)
- Typed Lambda Calculi and Applications (Q5704003) (← links)