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

Semantics of the second order lambda calculus

Jacobs, B.P.F.

Publication date

January 1991

DOI

10.1017/s0960129500001341

Publisher

Cambridge University Press (CUP)

ISSN

0960-1295

Abstract

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

Extracted data

Related items

Systematic Synthesis of lambda-Terms

Koopman, Pieter
Plasmeijer, Rinus

January 2007

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

Discriminating Coded Lambda Terms

Barendregt, H.P.

January 1994

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

Global representation of recursive functions in lambda-calculus

Barendregt, H.P.

January 1974

Contains fulltext : 18333.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

Logical semantics for concurrent lambda-calculus

Dezani-Ciancaglini, M.

January 1996

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

Functional programming and lambda calculus

Barendregt, H.P.

January 1990

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

The lambda mu(T)-calculus

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

January 2013

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

Representing 'undefined' in lambda calculus

Barendregt, H.P.

January 1992

Contains fulltext : 13259.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

Applying Universal Algebra to Lambda Calculus

Manzonetto, G.
Salibra, A.

January 2010

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

Lambda calculi with types

Barendregt, H.P.

January 1992

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

Notes on the second-order lambda calculus

Robinson, E
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--4/92) / BLDSC - B...

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 terms for natural deduction, sequent calculus and cut elimination

Barendregt, H.P.
Ghilezan, S.

January 2000

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

Solvability in lambda calculi

Barendregt, H.P.

January 1977

Contains fulltext : 13345.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

Discriminating Coded Lambda Terms

Barendregt, H.P.

January 1994

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

Global representation of recursive functions in lambda-calculus

Barendregt, H.P.

January 1974

Contains fulltext : 18333.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

Logical semantics for concurrent lambda-calculus

Dezani-Ciancaglini, M.

January 1996

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

Functional programming and lambda calculus

Barendregt, H.P.

January 1990

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

The lambda mu(T)-calculus

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

January 2013

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

Representing 'undefined' in lambda calculus

Barendregt, H.P.

January 1992

Contains fulltext : 13259.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

Applying Universal Algebra to Lambda Calculus

Manzonetto, G.
Salibra, A.

January 2010

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

Lambda calculi with types

Barendregt, H.P.

January 1992

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

Notes on the second-order lambda calculus

Robinson, E
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--4/92) / BLDSC - B...

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 terms for natural deduction, sequent calculus and cut elimination

Barendregt, H.P.
Ghilezan, S.

January 2000

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

Solvability in lambda calculi

Barendregt, H.P.

January 1977

Contains fulltext : 13345.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

Discriminating Coded Lambda Terms

Barendregt, H.P.

January 1994

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

Global representation of recursive functions in lambda-calculus

Barendregt, H.P.

January 1974

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