Variants of the basic calculus of constructions

&
Journal of Applied Logic 2 (2):191-217 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2004.02.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: J. Roger Hindley, Jonathan P. Seldin, Introduction to Combinators and $lambda$-Calculus. [REVIEW]J. L. Krivine - 1988 - Journal of Symbolic Logic 53 (3):985-986.
J. Roger Hindley and Jonathan P. Seldin. Introduction to combinators and λ-calculus. London Mathematical Society student texts, no. 1. Cambridge University Press, Cambridge etc. 1986, vi + 360 pp. [REVIEW]J. L. Krivine - 1988 - Journal of Symbolic Logic 53 (3):985-986.
Review: Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin, Combinatory Logic. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
Combinatory logic. Haskell B. Curry, J. Roger Hindley, and Jonathan P. Seldin. Combinatory logic. Volume II. Studies in logic and the foundations of mathematics, vol. 65. North-Holland Publishing Company, Amsterdam and London 1972, XIV + 520 pp. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
Interpreting HOL in the calculus of constructions.Jonathan P. Seldin - 2004 - Journal of Applied Logic 2 (2):173-189.
On the proof theory of Coquand's calculus of constructions.Jonathan P. Seldin - 1997 - Annals of Pure and Applied Logic 83 (1):23-101.
J. R. Hindley, B. Lercher, and J. P. Seldin. Introduction to combinatory logic. London Mathematical Society lecture note series, no. 7, Cambridge at the University Press, London and New York1972, 170 pp. [REVIEW]Henk Barendregt - 1973 - Journal of Symbolic Logic 38 (3):518.
Telford W. M., Geldart L. P., Sheriff R. E. And Keys D. A. Applied Geophysics. [REVIEW]P. Caloi - 1977 - Scientia 71 (112):550.
TELFORD W. M., GELDART L. P., SHERIFF R. E. and KEYS D. A. Applied Geophysics. [REVIEW]P. Caloi - 1977 - Scientia 71 (12):550.
Baaz, M., HaHjek, P., Montagna, F. and Veith, H., Complexity of t-tautologies (1} 3) 3} 11 Beauquier, D. and Slissenko, A., A" rst order logic for speci" cation of timed algorithms: basic properties and a decidable class (1} 3) 13} 52. [REVIEW]L. Boasson, P. Cegielski, I. Guessarian, Y. Matiyasevich, E. Dantsin, M. Gavrilovich, E. A. Hirsch & B. Konev - 2001 - Annals of Pure and Applied Logic 113 (399):400.

Analytics

Added to PP
2016-06-30

Downloads
28 (#558,407)

6 months
7 (#594,125)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A Theory of Formal Deducibility.Haskell B. Curry - 1951 - Journal of Symbolic Logic 16 (1):56-58.
On the proof theory of Coquand's calculus of constructions.Jonathan P. Seldin - 1997 - Annals of Pure and Applied Logic 83 (1):23-101.
A sequent calculus for type assignment.Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):11-28.
Some Inconsistencies in Illative Combinatory Logic.M. W. Bunder - 1974 - Mathematical Logic Quarterly 20 (13‐18):199-201.
Some Inconsistencies in Illative Combinatory Logic.M. W. Bunder - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):199-201.

View all 8 references / Add more references