A typed λ-calculus and Girard's model of ptykes
In G. Dorn & P. Weingarten (eds.), Foundations of Logic and Linguistics. Problems and Solutions. Plenum. pp. 245--279 (1985)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories |
No categories specified (categorize this paper) |
| Buy the book |
Find it on Amazon.com
|
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
A Proof-Theoretical Analysis of Ptykes.J. R. G. Catlow - 1994 - Archive for Mathematical Logic 33 (1):57-79.
A Completeness Result for the Simply Typed Λμ-Calculus.Karim Nour & Khelifa Saber - 2010 - Annals of Pure and Applied Logic 161 (1):109-118.
A Concrete Categorical Model for the Lambek Syntactic Calculus.Marcelo Da Silva Corrêa & Edward Hermann Haeusler - 1997 - Mathematical Logic Quarterly 43 (1):49-59.
Typed Lambda-Calculus in Classical Zermelo-Frænkel Set Theory.Jean-Louis Krivine - 2001 - Archive for Mathematical Logic 40 (3):189-205.
Embeddability of Ptykes.Jean-Yves Girard & Dag Normann - 1992 - Journal of Symbolic Logic 57 (2):659-676.
Lambda Calculus and Intuitionistic Linear Logic.Simona Ronchi della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.
A Proof of the Normal Form Theorem for the Closed Terms of Girard's System F by Means of Computability.Silvio Valentini - 1993 - Mathematical Logic Quarterly 39 (1):539-544.
On Proof Terms and Embeddings of Classical Substructural Logics.Ken-Etsu Fujita - 1998 - Studia Logica 61 (2):199-221.
Exact Bounds for Lengths of Reductions in Typed Λ-Calculus.Arnold Beckmann - 2001 - Journal of Symbolic Logic 66 (3):1277-1285.
Short Proofs of Normalization for the Simply- Typed Λ-Calculus, Permutative Conversions and Gödel's T.Felix Joachimski & Ralph Matthes - 2003 - Archive for Mathematical Logic 42 (1):59-87.
Strong Normalizability of Typed Lambda-Calculi for Substructural Logics.Motohiko Mouri & Norihiro Kamide - 2008 - Logica Universalis 2 (2):189-207.
Lambda Calculus and Intuitionistic Linear Logic.Simona Ronchi Della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.
Atomic Polymorphism.Fernando Ferreira & Gilda Ferreira - 2013 - Journal of Symbolic Logic 78 (1):260-274.
Constructive Set Theoretic Models of Typed Combinatory Logic.Andreas Knobel - 1993 - Journal of Symbolic Logic 58 (1):99-118.
Analytics
Added to PP index
2014-01-27
Total views
0
Recent downloads (6 months)
0
2014-01-27
Total views
0
Recent downloads (6 months)
0
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
