Typed Lambda calculi. S. Abramsky et AL

In S. Abramsky, D. Gabbay & T. Maibaurn (eds.), Handbook of Logic in Computer Science. Oxford University Press. pp. 117--309 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,130

External links

  • This entry has no external links. Add one.
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

Typed lambda calculi and applications: 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013: proceedings.Masahito Hasegawa (ed.) - 2013 - New york: Springer.
Strong Normalizability of Typed Lambda-Calculi for Substructural Logics.Motohiko Mouri & Norihiro Kamide - 2008 - Logica Universalis 2 (2):189-207.
Term-Space Semantics of Typed Lambda Calculus.Ryo Kashima, Naosuke Matsuda & Takao Yuyama - 2020 - Notre Dame Journal of Formal Logic 61 (4):591-600.
A coinductive approach to proof search through typed lambda-calculi.José Espírito Santo, Ralph Matthes & Luís Pinto - 2021 - Annals of Pure and Applied Logic 172 (10):103026.
Barendregt H. P.. The lambda calculus. Its syntax and semantics. Studies in logic and foundations of mathematics, vol. 103. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xiv + 615 pp. [REVIEW]E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.
Book Review. The Lambda-Calculus. H. P. Barendregt(. [REVIEW]Harold Hodes - 1988 - Philosophical Review 97 (1):132-7.
Lambda Calculi: A Guide for the Perplexed.Chris Hankin - 1994 - Oxford University Press.
Typed lambda calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 1091--1132.
Handbook of Logic in Computer Science.Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum - 1992
Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types. [REVIEW]Adrian Rezuş - 2015 - Studia Logica 103 (6):1319-1326.

Analytics

Added to PP
2014-01-27

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Being Positive About Negative Facts.Mark Jago & Stephen Barker - 2012 - Philosophy and Phenomenological Research 85 (1):117-138.
Proof normalization modulo.Gilles Dowek & Benjamin Werner - 2003 - Journal of Symbolic Logic 68 (4):1289-1316.
Combinatory logic with polymorphic types.William R. Stirton - 2022 - Archive for Mathematical Logic 61 (3):317-343.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references