The following pages link to (Q3024853):
Displaying 6 items.
- Building continuous webbed models for system F (Q1826624) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Kripke Semantics for Martin-Löf’s Extensional Type Theory (Q3637199) (← links)
- (Q4611381) (← links)
- The Typed Böhm Theorem (Q4916173) (← links)
- ETA-RULES IN MARTIN-LÖF TYPE THEORY (Q5240810) (← links)