A formalization of the Ramified Type Theory (1994)

Cached

Download Links

by Twan Laan
Citations:3 - 1 self

Active Bibliography

11 Types in logic and mathematics before 1940 – Fairouz Kamareddine, Twan Laan, Rob Nederpelt - 2002
1 A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths – Fairouz Kamareddine, Twan Laan - 1996
3 A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems – Fairouz Kamareddine, Twan Laan - 2001
Journal of the IGPL – Volume Number March, Dov M. Gabbay, Hans J Urgen Ohlbach, Jon Barwise, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Johan Van Benthem
From the Foundation of Mathematics to the Birth of Computation – Fairouz Kamareddine - 2011
century: A journey through Frege, Russell and – Fairouz Kamareddine - 2004
(Typed) λ-Calculi à la de Bruijn – unknown authors - 2012
Logic and Computerisation in mathematics? – Fairouz Kamareddine - 2009
The impact of computers on the formalisation and study of language – Fairouz Kamareddine - 2005
Heriot-Watt University Edinburgh, Scotland – Fairouz Kamareddine - 2005
Um Ceclo de Computeraçao – Fairouz Kamareddine
MathLang, a framework for computerising – unknown authors - 2007
MathLang, a framework for computerising – unknown authors - 2007
MathLang, a framework for computerising – Fairouz Kamareddine - 2006
The evolution of types and logic in the 20th century: A journey through Frege, Russell and . . . – Fairouz Kamareddine - 2004
3 Motivations for MathLang – Fairouz Kamareddine - 2005
2 A Basic Extended Simple Type Theory – William M. Farmer - 2001
19 The Seven Virtues of Simple Type Theory – William M. Farmer - 2003
TYPES, SETS AND CATEGORIES – John L. Bell