No CrossRef data available.
Article contents
An Extension of the Formulas-as-Types Paradigm
Published online by Cambridge University Press: 13 April 2010
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Articles and Interventions/Articles et Discussions
- Information
- Dialogue: Canadian Philosophical Review / Revue canadienne de philosophie , Volume 36 , Issue 1 , Winter 1997 , pp. 33 - 44
- Copyright
- Copyright © Canadian Philosophical Association 1997
References
Dosen, K., and Schroeder-Heister, P., eds. 1993 Substructural Logics. Oxford: Oxford: University Press.Google Scholar
Freyd, P. 1972 “Aspects of Topoi.” Bulletin of the Australian Math. Society, 7: 1–76, 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
Lambek, J. 1958 “The 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. 1995 “Cut Elimination for Classical Bilinear Logic.”Fundamenta Informaticœ, 22: 53–67.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. 1990 “Quantales and (Non-Commutative) Linear Logic.” Journal of Symbolic Logic, 55: 41–64.CrossRefGoogle Scholar