Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Applying Universal Algebra to Lambda Calculus

Manzonetto, G.
Salibra, A.

Publication date

January 2010

DOI

10.1093/logcom/exn085

Publisher

Oxford University Press (OUP)

Abstract

Contains fulltext : 83381.pdf (preprint version ) (Open Access

Extracted data

Related items

Logical semantics for concurrent lambda-calculus

Dezani-Ciancaglini, M.

January 1996

Contains fulltext : mmubn000001_232205140.pdf (publisher's version ) (Open Access)...

Needed reduction and Spine Strategies for the lambda calculus

Barendregt, H.P.
Kennaway, J.R.
Klop, J.W.
Sleep, M.R.

January 1987

Contains fulltext : 13272.pdf (publisher's version ) (Open Access

The Lambda-Calculus is Nominal Algebraic

Murdoch J. Gabbay
Aad Mathijssen

January 2016

The λ-calculus is fundamental in the study of logic and computation. Partly this is because it is a ...

The lambda mu(T)-calculus

Geuvers, H.
Krebbers, R.J.
McKinna, J.

January 2013

Contains fulltext : 111279.pdf (preprint version ) (Open Access

Functional programming and lambda calculus

Barendregt, H.P.

January 1990

Contains fulltext : 13246.pdf (publisher's version ) (Open Access

The impact of the lambda calculus in logic and computer science

Barendregt, H.P.

January 1997

Contains fulltext : 13362.pdf (publisher's version ) (Open Access

Semantics of the second order lambda calculus

Jacobs, B.P.F.

January 1991

Contains fulltext : 175394.pdf (publisher's version ) (Open Access

Representing 'undefined' in lambda calculus

Barendregt, H.P.

January 1992

Contains fulltext : 13259.pdf (publisher's version ) (Open Access

The type free lambda calculus

Barendregt, H.P.

January 1977

Contains fulltext : 13241.pdf (publisher's version ) (Open Access

Solvability in lambda calculi

Barendregt, H.P.

January 1977

Contains fulltext : 13345.pdf (publisher's version ) (Open Access

Degrees, reductions and representability in the lambda calculus

Barendregt, H.P.
Bergstra, Jan
Klop, Jan Willem
Volken, Henri

January 1976

Contains fulltext : HenkBarendregt.pdf (publisher's version ) (Open Access)68 p

Lambda calculi with types

Barendregt, H.P.

January 1992

Contains fulltext : 13247.pdf (publisher's version ) (Open Access) ...

Systematic Synthesis of lambda-Terms

Koopman, Pieter
Plasmeijer, Rinus

January 2007

Contains fulltext : 36536.pdf (author's version ) (Open Access

Lambda terms for natural deduction, sequent calculus and cut elimination

Barendregt, H.P.
Ghilezan, S.

January 2000

Contains fulltext : 17262.pdf (preprint version ) (Open Access

Algebra and Topology in Lambda Calculus The

Antonino Salibra

February 2008

untyped lambda calculus was introduced around 1930 by Church [11] as part of an investigation in the...

Logical semantics for concurrent lambda-calculus

Dezani-Ciancaglini, M.

January 1996

Contains fulltext : mmubn000001_232205140.pdf (publisher's version ) (Open Access)...

Needed reduction and Spine Strategies for the lambda calculus

Barendregt, H.P.
Kennaway, J.R.
Klop, J.W.
Sleep, M.R.

January 1987

Contains fulltext : 13272.pdf (publisher's version ) (Open Access

The Lambda-Calculus is Nominal Algebraic

Murdoch J. Gabbay
Aad Mathijssen

January 2016

The λ-calculus is fundamental in the study of logic and computation. Partly this is because it is a ...

The lambda mu(T)-calculus

Geuvers, H.
Krebbers, R.J.
McKinna, J.

January 2013

Contains fulltext : 111279.pdf (preprint version ) (Open Access

Functional programming and lambda calculus

Barendregt, H.P.

January 1990

Contains fulltext : 13246.pdf (publisher's version ) (Open Access

The impact of the lambda calculus in logic and computer science

Barendregt, H.P.

January 1997

Contains fulltext : 13362.pdf (publisher's version ) (Open Access

Semantics of the second order lambda calculus

Jacobs, B.P.F.

January 1991

Contains fulltext : 175394.pdf (publisher's version ) (Open Access

Representing 'undefined' in lambda calculus

Barendregt, H.P.

January 1992

Contains fulltext : 13259.pdf (publisher's version ) (Open Access

The type free lambda calculus

Barendregt, H.P.

January 1977

Contains fulltext : 13241.pdf (publisher's version ) (Open Access

Solvability in lambda calculi

Barendregt, H.P.

January 1977

Contains fulltext : 13345.pdf (publisher's version ) (Open Access

Degrees, reductions and representability in the lambda calculus

Barendregt, H.P.
Bergstra, Jan
Klop, Jan Willem
Volken, Henri

January 1976

Contains fulltext : HenkBarendregt.pdf (publisher's version ) (Open Access)68 p

Lambda calculi with types

Barendregt, H.P.

January 1992

Contains fulltext : 13247.pdf (publisher's version ) (Open Access) ...

Systematic Synthesis of lambda-Terms

Koopman, Pieter
Plasmeijer, Rinus

January 2007

Contains fulltext : 36536.pdf (author's version ) (Open Access

Lambda terms for natural deduction, sequent calculus and cut elimination

Barendregt, H.P.
Ghilezan, S.

January 2000

Contains fulltext : 17262.pdf (preprint version ) (Open Access

Algebra and Topology in Lambda Calculus The

Antonino Salibra

February 2008

untyped lambda calculus was introduced around 1930 by Church [11] as part of an investigation in the...

Logical semantics for concurrent lambda-calculus

Dezani-Ciancaglini, M.

January 1996

Contains fulltext : mmubn000001_232205140.pdf (publisher's version ) (Open Access)...

Needed reduction and Spine Strategies for the lambda calculus

Barendregt, H.P.
Kennaway, J.R.
Klop, J.W.
Sleep, M.R.

January 1987

Contains fulltext : 13272.pdf (publisher's version ) (Open Access

The Lambda-Calculus is Nominal Algebraic

Murdoch J. Gabbay
Aad Mathijssen

January 2016

The λ-calculus is fundamental in the study of logic and computation. Partly this is because it is a ...