C. P. J. Koymans. Models of the lambda calculus. CWI tract no. 9. Centrum voor Wiskunde en Informatica, Amsterdam1984, iii + 181 pp [Book Review]

Journal of Symbolic Logic 52 (1):284-285 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273885

Links

PhilArchive



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

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

Review: C. P. J. Koymans, Models of the Lambda Calculus. [REVIEW]Giuseppe Longo - 1987 - Journal of Symbolic Logic 52 (1):284-285.
CWI Tract.Giuseppe Longo - 1984
The Way of Mathematics and Mathematicians: From Reality Towards Fiction.A. F. Monna - 1992
Models of the Lambda Calculus.Giuseppe Longo - 1987 - Journal of Symbolic Logic 52 (1):284-285.
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.
Kripke-style models for typed lambda calculus.John C. Mitchell & Eugenio Moggi - 1991 - Annals of Pure and Applied Logic 51 (1-2):99-124.
$lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19‐21):289-310.
Recursion theory and the lambda-calculus.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):67-83.
Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.
Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms.Giuseppe Longo - 1983 - Annals of Pure and Applied Logic 24 (2):153.
Quasi-Modal Equivalence of Canonical Structures.Robert Goldblatt - 2001 - Journal of Symbolic Logic 66 (2):497-508.
Skew confluence and the lambda calculus with letrec.Zena M. Ariola & Stefan Blom - 2002 - Annals of Pure and Applied Logic 117 (1-3):95-168.

Analytics

Added to PP
2016-06-30

Downloads
22 (#709,072)

6 months
10 (#268,574)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giuseppe Longo
École Normale Supérieure

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references