Hostname: page-component-7c8c6479df-8mjnm Total loading time: 0 Render date: 2024-03-29T01:46:23.668Z Has data issue: false hasContentIssue false

An Extension of the Formulas-as-Types Paradigm

Published online by Cambridge University Press:  13 April 2010

J. Lambek
Affiliation:
McGill University

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Articles and Interventions/Articles et Discussions
Copyright
Copyright © Canadian Philosophical Association 1997

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Dosen, K., and Schroeder-Heister, P., eds. 1993 Substructural Logics. Oxford: Oxford: University Press.Google Scholar
Freyd, P. 1972Aspects of Topoi.” Bulletin of the Australian Math. Society, 7: 176, 467–80.CrossRefGoogle Scholar
Howard, W. A. 1980 “The Formulæ-as-Types Notion of Construction.” In To H.B. Curry, Essays in Combinatory Logic, A-Calculus and Formalism. Edited by Seldin, J. P. and Hindley, J. R.. New York: Academic Press.Google Scholar
Kleene, S. C. 1952 Introduction to Metamathematics. New York: Van Nostrand.Google Scholar
Lambek, J. 1958The Mathematics of Sentence Structure.” American Math. Monthly, 65: 154–69.CrossRefGoogle Scholar
Lambek, J. 1980 “From λ-Calculus to Cartesian Closed Categories.” In To KB. Curry, Essays in Combinatory Logic, λ-Calculus and Formalism. Edited by Seldin, J. P. and Hindley, J. R.. New York: Academic Press.Google Scholar
Lambek, J. 1988 “On the Unity of Algebra and Logic.” In Categorical Algebra and Its Applications. Edited by Borceux, F.. New York: Springer-Verlag.Google Scholar
Lambek, J. 1995Cut Elimination for Classical Bilinear Logic.”Fundamenta Informaticœ, 22: 5367.CrossRefGoogle Scholar
Lambek, J., and Scott, P. J. 1988 Introduction to Higher Order Categorical Logic. Cambridge: Cambridge University Press.Google Scholar
Szabo, M. E. 19746 “A Categorical Characterization of Boolean Algebras.” Algebra Universalis, 4: 109–11.CrossRefGoogle Scholar
Yetter, D. N. 1990Quantales and (Non-Commutative) Linear Logic.” Journal of Symbolic Logic, 55: 4164.CrossRefGoogle Scholar