Skip to content
Toggle navigation
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Domains and lambda-calculi /
Similar Items
Cite this
Text this
Email this
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Domains and lambda-calculi /
Main Author:
Amadio, Roberto M.
Other Authors:
Curien, P.-L.
,
Curien, Pierre-Louis
,
Curien, Piere-Luis
Format:
Book
Language:
English
Published:
Cambridge, U.K. ; New York :
Cambridge University Press ,
1998 .
Subjects:
Lambda calculus
Programming languages (Electronic computers)
>
Semantics
Combinatory logic and λ-calculus
Mathematical logic
LAMBDA CALCULUS
Programming languages (Electronic computers)
>
- Semantics
Holdings
Description
Similar Items
Staff View
Similar Items
Lambda calculi : a guide for computer scientists /
by: Hankin, Chris
Published: (1994)
The calculi of lambda-conversion/
by: Church, Alonzo, 1903-
Published: (1941)
The lambda calculus: its syntax and semantics/
by: Barendregt, Hendrik Pieter
Published: (1984)
The lambda calculus :its syntax and semantics /
by: Barendregt, H. P.
Published: (1984)
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings /
Published: (1995)
A bibliography of lambda-calculi, combinatory topics and related topics/
by: Rezus, A.
Published: (1982)
The lambda calculus: its syntax and semantics/
by: Barendregt, H. P.
Published: (1984)
The lambda calculus : its syntax and semantics /
by: Barendregt, H. P.
Published: (1981)
The lambda calculus : its syntax and semantics /
by: Barendregt, H. P.
Published: (1984)
An introduction to combinators and the λ-calculus/
by: Hindley, J. Roger
Published: (1986)
An introduction to functional programming through Lambda calculus/
by: Michaelson, Greg, 1953-
Published: (1989)
Lectures on the Curry-Howard isomorphism /
by: Sørensen, Morten Heine.
Published: (2006)
Lectures on the Curry-Howard isomorphism /
by: Srensen, Morten Heine
Published: (2006)
Logic Colloquium ʹ82 : Proceedings of the Colloquium held in Florence 23-28 August, 1982: edited by G. Lolli, G. Longo and A. Marcja
Published: (1984)
Derivation and computation : taking the Curry-Howard correspondence seriously /
by: Simmons, Harold
Published: (2000)
Language in action : categories, lambdas and dynamic logic /
by: Benthem, J. F. A. K. van, 1949-
Published: (1991)
Predicate calculus and program semantics /
by: Dijkstra, Edsger Wybe
Published: (1990)
Introduction to combinators and [lambda]-calculus/
by: Hindley, J. Roger
Published: (1986)
Foundations of logic programming /
by: Lloyd, J. W. 1947-
Published: (1987)
Logic of domains/
by: Zhang, Guo-Qiang
Published: (1991)
Introduction to [lambda]-trees
by: Chiswell, Ian, 1948-
Published: (2001)
The Haskell road to logic, maths and programming /
by: Doets, Kees
Published: (2004)
A course in mathematical logic/
by: Manin, Yu. I.
Published: (1977)
Introduction to mathematical logic: set theory, computable functions, model theory/
by: Malitz, Jerome, 1936-
Published: (1979)
The Tbilisi symposium on logic, language and computation : selected papers /
Published: (1998)
Introduction to [lambda]-trees/
by: Chiswell, Ian, 1948-
Published: (2001)
Functional calculi
by: Bosch, Carlos.
Published: (2013)
Phage lambda as a model organism regulatory proteins and the life of lambda/
by: Herskowitz, Ira
Published: (1996)
Subtyping recursive types/
by: Amadio, Roberto M.
Published: (1990)
Beginning logic/
by: Lemmon, Edward John
Published: (1965)
Logics of specification languages /
Published: (2008)
Introductory logic and formal methods /
by: Heath, David
Published: (1994)
Classical mathematical logic : the semantic foundations of logic /
by: Epstein, Richard L., 1947-
Published: (2006)
Natural language understanding /
by: Allen, James
Published: (1995)
Natural language understanding /
by: Allen, James
Published: (1995)
Natural language understanding /
by: Allen, James, 1950-
Published: (1995)
Programming in higher- order typed lambda- calculi : CMU-CS-89-111 /
by: Pierce, Benjamin
Published: (1989)
Ένας γενετικός διακόπτης: φάγος λ και ανώτεροι οργανισμοί/
by: Ptashne, Mark
Published: (1999)
Ένας γενετικός διακόπτης : φάγος λ και ανώτεροι οργανισμοί /
by: Ptashne, Mark.
Published: (1999)
Coordination programming: mechanisms, models, and semantics/
Published: (1996)
Similar Items
Lambda calculi : a guide for computer scientists /
by: Hankin, Chris
Published: (1994)
The calculi of lambda-conversion/
by: Church, Alonzo, 1903-
Published: (1941)
The lambda calculus: its syntax and semantics/
by: Barendregt, Hendrik Pieter
Published: (1984)
The lambda calculus :its syntax and semantics /
by: Barendregt, H. P.
Published: (1984)
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings /
Published: (1995)
×
Loading...
