The following pages link to Twan Laan (Q195252):
Displaying 12 items.
- Revisiting the notion of function (Q1394989) (← links)
- A modern perspective on type theory. From its origins until today (Q1887432) (← links)
- A modern elaboration of the ramified theory of types (Q2563450) (← links)
- Embedding first-order logic in a pure type system with parameters (Q2761749) (← links)
- (Q2763649) (← links)
- (Q3044340) (← links)
- Types in Logic and Mathematics before 1940 (Q3149961) (← links)
- Russell's Orders in Kripke's Theory of Truth and Computational Type Theory (Q3166620) (← links)
- (Q4664921) (← links)
- (Q4877445) (← links)
- Automath and Pure Type Systems (Q4924545) (← links)
- A correspondence between Martin-Löf type theory, the ramified theory of types and pure type systems (Q5939957) (← links)