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

Discriminating Coded Lambda Terms

Barendregt, H.P.

Publication date

January 1994

Publisher

Amsterdam : Stichting Mathematisch Centrum

Abstract

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

Extracted data

Related items

Beyond parsing and lexical look-up

Cutler, A.

January 1976

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

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

Enumerators of lambda terms are reducing

Barendregt, H.P.

January 1992

Contains fulltext : 13258.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 calculi with types

Barendregt, H.P.

January 1992

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

A filter lambda model and the completeness of type assignement

Barendregt, H.P.
Coppo, M.
Dezani-Ciancaglini, M.

January 1983

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

Applications of infinitary lambda terms

Barendregt, H.P.
Klop, J.W.

January 2009

Contains fulltext : 75183.pdf (preprint version ) (Open Access)24 p

Functional programming and lambda calculus

Barendregt, H.P.

January 1990

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

Enumerators of lambda terms are reducing constructively

Barendregt, H.P.

January 1995

Contains fulltext : 17245.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 lambda mu(T)-calculus

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

January 2013

Contains fulltext : 111279.pdf (preprint 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

Selectief gebruik van discriminatieonderzoek

Jaspers, E.
Lubbers, M.

January 2007

Contains fulltext : 56614.pdf (publisher's version ) (Open Access)5 p

Beyond parsing and lexical look-up

Cutler, A.

January 1976

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

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

Enumerators of lambda terms are reducing

Barendregt, H.P.

January 1992

Contains fulltext : 13258.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 calculi with types

Barendregt, H.P.

January 1992

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

A filter lambda model and the completeness of type assignement

Barendregt, H.P.
Coppo, M.
Dezani-Ciancaglini, M.

January 1983

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

Applications of infinitary lambda terms

Barendregt, H.P.
Klop, J.W.

January 2009

Contains fulltext : 75183.pdf (preprint version ) (Open Access)24 p

Functional programming and lambda calculus

Barendregt, H.P.

January 1990

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

Enumerators of lambda terms are reducing constructively

Barendregt, H.P.

January 1995

Contains fulltext : 17245.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 lambda mu(T)-calculus

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

January 2013

Contains fulltext : 111279.pdf (preprint 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

Selectief gebruik van discriminatieonderzoek

Jaspers, E.
Lubbers, M.

January 2007

Contains fulltext : 56614.pdf (publisher's version ) (Open Access)5 p

Beyond parsing and lexical look-up

Cutler, A.

January 1976

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

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