The following pages link to (Q4296744):
Displaying 8 items.
- Selectional restrictions, types and categories (Q280845) (← links)
- Adjectival and adverbial modification: the view from modern type theories (Q683682) (← links)
- N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- Hoare type theory, polymorphism and separation (Q3546051) (← links)
- The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type (Q5111301) (← links)
- ETA-RULES IN MARTIN-LÖF TYPE THEORY (Q5240810) (← links)
- Propositional forms of judgemental interpretations (Q6053842) (← links)
