Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 55, Issue 1 (1990), 90-105.
Principal Type-Schemes and Condensed Detachment
J. Roger Hindley and David Meredith
Article information
Source
J. Symbolic Logic, Volume 55, Issue 1 (1990), 90-105.
Dates
First available in Project Euclid: 6 July 2007
Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183743187
Mathematical Reviews number (MathSciNet)
MR1043546
Zentralblatt MATH identifier
0708.03007
JSTOR
links.jstor.org
Citation
Hindley, J. Roger; Meredith, David. Principal Type-Schemes and Condensed Detachment. J. Symbolic Logic 55 (1990), no. 1, 90--105. https://projecteuclid.org/euclid.jsl/1183743187