PhilPapers is currently in read-only mode while we are performing some maintenance. You can use the site normally except that you cannot sign in. This shouldn't last long.

Revision history for entry Ranta, Aarne (1998). "Syntactic calculus with dependent types" [RANSCW]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2010-10-02T05:24:27updateSystem / admin update -




Applied ethicsEpistemologyHistory of Western PhilosophyMeta-ethicsMetaphysicsNormative ethics
Philosophy of biologyPhilosophy of languagePhilosophy of mindPhilosophy of religionScience Logic and MathematicsMore ...
Home | New books and articles | Bibliographies | Philosophy journals | Discussions | The Categorization Project | About PhilPapers | API | Contact us

Hosted by The Institute of Philosophy, School of Advanced Study, University of London
This site uses Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by David Bourget and David Chalmers

Page generated Wed Jun 19 12:52:08 2013 - Hash code: CFHWAwnEVeffN1/nu7w/ig