Innovations in computational type theory using Nuprl
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, and S. F. Smith. Implementing mathematics with the Nuprl proof development system. Prentice Hall, Englewood Cliffs, N. J., 1986, x + 299 pp. [REVIEW]Michael J. Beeson -1990 -Journal of Symbolic Logic 55 (3):1299-1302.
Neocons Y teocons: Fundamentalismo versus democracia.Elías Díaz Cintas -2010 -Anales de la Cátedra Francisco Suárez 44:61-79.
Para Una refundación epistemológica de la teoría Del derecho.Luigi Ferrajoli -2010 -Anales de la Cátedra Francisco Suárez 44:417-434.
Supposi t i o n as Quant i f i c a t i o n versus Supposi t i o n as Globa l Quant i f i c a t i o n a l Ef fec t.Terence Parsons -unknown
Prueba científica: Mitos Y paradigmas.Marina Gascón Abellán -2010 -Anales de la Cátedra Francisco Suárez 44:81-103.
La configuración histórica E ideológica Del zapatismo (desde la perspectiva de sus protagonistas).María Luisa Soriano González -2012 -Anales de la Cátedra Francisco Suárez 46:237-257.
Democracia, participación Y representación: Presentación.Pedro Mercado Pacheco -2012 -Anales de la Cátedra Francisco Suárez 46:7-10.
Guillermo de ockham Y el nacimiento Del laicismo moderno.Nicolás López Calera -2012 -Anales de la Cátedra Francisco Suárez 46:263-280.
El sistema electoral español, Una propuesta realista.Juan Jesús Mora Molina -2012 -Anales de la Cátedra Francisco Suárez 46:69-92.
Analytics
Added to PP
2016-06-30
Downloads
24 (#1,006,363)
6 months
5 (#852,111)
2016-06-30
Downloads
24 (#1,006,363)
6 months
5 (#852,111)
Historical graph of downloads
How can I increase my downloads?Author's Profile
Citations of this work
Higher-order Aspects and Context in SUMO.Christoph Benzmüller &Adam Pease -2012 -Journal of Web Semantics 12:104-117.
Intuitionistic completeness of first-order logic.Robert Constable &Mark Bickford -2014 -Annals of Pure and Applied Logic 165 (1):164-198.
Why Topology in the Minimalist Foundation Must be Pointfree.Maria Emilia Maietti &Giovanni Sambin -2013 -Logic and Logical Philosophy 22 (2):167-199.
Universal Reasoning, Rational Argumentation and Human-Machine Interaction.Benzmüller Christoph -2017
Automated reasoning in higher-order logic using the tptp thf infrastructure.Sutcliffe Geoff &Benzmüller Christoph -2010 -Journal of Formalized Reasoning 3 (1):1-27.
References found in this work
Combinatory Logic, Volume I.Haskell B. Curry,Robert Feys &William Craig -1959 -Philosophical Review 68 (4):548-550.
Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard -1986 -Journal of Symbolic Logic 51 (4):1075-1076.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-72j75 uwo