A Filter lambda model and the completeness of type assignment

Journal of Symbolic Logic 48 (4):931-940 (1983)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2273659
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 25,687
Through your library
References found in this work BETA
Functional Characters of Solvable Terms.M. Coppo, M. Dezani-Ciancaglini & B. Venneri - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (2-6):45-58.
Lambda-Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (19-21):289-310.
Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19‐21):289-310.
Functional Characters of Solvable Terms.M. Coppo, M. Dezani‐Ciancaglini & B. Venneri - 1981 - Mathematical Logic Quarterly 27 (2‐6):45-58.

Add more references

Citations of this work BETA
Ternary Relations and Relevant Semantics.Robert K. Meyer - 2004 - Annals of Pure and Applied Logic 127 (1-3):195-217.
Domain Theory in Logical Form.Samson Abramsky - 1991 - Annals of Pure and Applied Logic 51 (1-2):1-77.
Normalization Without Reducibility.René David - 2000 - Annals of Pure and Applied Logic 107 (1-3):121-130.

View all 10 citations / Add more citations

Similar books and articles
Slim Models of Zermelo Set Theory.A. R. D. Mathias - 2001 - Journal of Symbolic Logic 66 (2):487-496.
A Classification of Intersection Type Systems.M. W. Bunder - 2002 - Journal of Symbolic Logic 67 (1):353-368.
Grafted Frames and S1-Completeness.Beihai Zhou - 1999 - Journal of Symbolic Logic 64 (3):1324-1338.
Contextual Deduction Theorems.J. G. Raftery - 2011 - Studia Logica 99 (1-3):279-319.
A Gitik Iteration with Nearly Easton Factoring.William J. Mitchell - 2003 - Journal of Symbolic Logic 68 (2):481-502.
The Emptiness Problem for Intersection Types.Pawel Urzyczyn - 1999 - Journal of Symbolic Logic 64 (3):1195-1215.
On Regular Reduced Products.Juliette Kennedy & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (3):1169-1177.

Monthly downloads

Added to index

2009-01-28

Total downloads

14 ( #319,992 of 2,146,211 )

Recent downloads (6 months)

1 ( #387,123 of 2,146,211 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums