Searching for authors named "Twan Laan" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
A formalization of the Ramified Type Theory
- …A formalization of the Ramified Type Theory Twan Laan Co-operation Centre Tilburg and Eindhoven…
- Cited by 3 (1 self) – Add To MetaCart
-
AUTOMATH and Pure Type Systems
- …Automath and Pure Type Systems Twan Laan Co-operation Centre Tilburg and Eindhoven Universities…
- Cited by 1 (1 self) – Add To MetaCart
-
A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems
- … Fairouz Kamareddine Twan Laan Heriot-Watt University Computing and Electrical Eng. Riccarton, Edinburgh…
- Cited by 3 (1 self) – Add To MetaCart
-
A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths
- …-mail fairouz@(email omitted); Twan Laan y Department of Mathematics and Computing Science Eindhoven University…
- Cited by 1 (1 self) – Add To MetaCart
-
Refining the Barendregt Cube using Parameters
- …Rening the Barendregt Cube using Parameters ? Fairouz Kamareddine ??1 , Twan Laan 2 , and Rob…
- Add To MetaCart
-
Revisiting the Notion of Function
- …Revisiting the notion of function Fairouz Kamareddine 1 and Twan Laan 2 and Rob Nederpelt 3 1…
- Cited by 3 (2 self) – Add To MetaCart
-
Types in Logic and Mathematics before 1940
- …Types in Logic and Mathematics before 1940 Fairouz Kamareddine y Twan Laan z Rob Nederpelt x…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 7.
