Lambda‐Calculus Models and Extensionality

&
Mathematical Logic Quarterly 26 (19‐21):289-310 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19800261902

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The lambda calculus: its syntax and semantics.Hendrik Pieter Barendregt - 1981 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Topological Representation of the Lambda-Calculus.Steve Awodey - 2000 - Mathematical Structures in Computer Science 10 (1):81-96.
Lambda Calculi: A Guide for the Perplexed.Chris Hankin - 1994 - Oxford University Press.
Some results on extensionality in lambda calculus.Benedetto Intrigila & Richard Statman - 2005 - Annals of Pure and Applied Logic 132 (2-3):109-125.
$lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Review: C. P. J. Koymans, Models of the Lambda Calculus. [REVIEW]Giuseppe Longo - 1987 - Journal of Symbolic Logic 52 (1):284-285.
Recursion theory and the lambda-calculus.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):67-83.
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
Introduction to Combinators and (Lambda) Calculus.J. Roger Hindley - 1986 - New York: Cambridge University Press. Edited by J. P. Seldin.
The Interpretation of Unsolvable $lambda$-Terms in Models of Untyped $lambda$-Calculus.Rainer Kerth - 1998 - Journal of Symbolic Logic 63 (4):1529-1548.
Lambda calculus with types.H. P. Barendregt - 2013 - New York: Cambridge University Press. Edited by Wil Dekkers & Richard Statman.
Categorical semantics for higher order polymorphic lambda calculus.R. A. G. Seely - 1987 - Journal of Symbolic Logic 52 (4):969-989.
Lambda-calculus, combinators, and functional programming.György E. Révész - 1988 - New York: Cambridge University Press.
More on Regular Reduced Products.Juliette Cara Kennedy & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (4):1261 - 1266.

Analytics

Added to PP
2013-11-24

Downloads
43 (#360,193)

6 months
15 (#159,278)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Semantics of Entailment Omega.Yoko Motohama, Robert K. Meyer & Mariangiola Dezani-Ciancaglini - 2002 - Notre Dame Journal of Formal Logic 43 (3):129-145.
The abstract variable-binding calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.
On church's formal theory of functions and functionals.Giuseppe Longo - 1988 - Annals of Pure and Applied Logic 40 (2):93-133.

View all 7 citations / Add more citations

References found in this work

Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..
Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.

Add more references