Lecture Notes in Computer Science - Typed Lambda Calculi and Applications
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540590484, 9783540491781

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Categorical completeness results for the simply-typed lambda-calculus

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/bfb0014068 ◽

1995 ◽

pp. 414-427 ◽

Cited By ~ 8

Author(s):

Alex K. Simpson

Keyword(s):

Lambda Calculus ◽

Typed Lambda Calculus

Download Full-text

Untyped λ-calculus with relative typing

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/bfb0014056 ◽

1995 ◽

pp. 235-248 ◽

Cited By ~ 1

Author(s):

M. Randall Holmes

Download Full-text

Typed λ-calculi with explicit substitutions may not terminate

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/bfb0014062 ◽

1995 ◽

pp. 328-334 ◽

Cited By ~ 52

Author(s):

Paul-André Mellies

Keyword(s):

Explicit Substitutions

Download Full-text

Comparing λ-calculus translations in sharing graphs

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/bfb0014041 ◽

1995 ◽

pp. 1-15 ◽

Cited By ~ 2

Author(s):

Andrea Asperti ◽

Cosimo Laneve

Download Full-text

A simple model for quotient types

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/bfb0014055 ◽

1995 ◽

pp. 216-234 ◽

Cited By ~ 13

Author(s):

Martin Hofmann

Keyword(s):

Simple Model

Download Full-text

An explicit Eta rewrite rule

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/bfb0014047 ◽

1995 ◽

pp. 94-108 ◽

Cited By ~ 5

Author(s):

Daniel Briaud

Download Full-text

Third-order matching in the presence of type constructors

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/bfb0014069 ◽

1995 ◽

pp. 428-442 ◽

Cited By ~ 4

Author(s):

Jan Springintveld

Keyword(s):

Third Order

Download Full-text

On equivalence classes of interpolation equations

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/bfb0014063 ◽

1995 ◽

pp. 335-349 ◽

Cited By ~ 5

Author(s):

Vincent Padovani

Keyword(s):

Equivalence Classes

Download Full-text

Using subtyping in program optimization

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/bfb0014045 ◽

1995 ◽

pp. 63-77 ◽

Cited By ~ 2

Author(s):

S. Berardi ◽

L. Boerio

Keyword(s):

Program Optimization

Download Full-text

Termination proof of term rewriting system with the multiset path ordering. A complete development in the system Coq

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/bfb0014061 ◽

1995 ◽

pp. 312-327 ◽

Cited By ~ 4

Author(s):

François Leclerc

Keyword(s):

Term Rewriting ◽

Complete Development ◽

Term Rewriting System ◽

Termination Proof ◽

Rewriting System ◽

Path Ordering

Download Full-text

Lecture Notes in Computer Science - Typed Lambda Calculi and ApplicationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Categorical completeness results for the simply-typed lambda-calculus

Untyped λ-calculus with relative typing

Typed λ-calculi with explicit substitutions may not terminate

Comparing λ-calculus translations in sharing graphs

A simple model for quotient types

An explicit Eta rewrite rule

Third-order matching in the presence of type constructors

On equivalence classes of interpolation equations

Using subtyping in program optimization

Termination proof of term rewriting system with the multiset path ordering. A complete development in the system Coq

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications
Latest Publications