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

9783540419600, 9783540454137

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Deconstruction of Non-deterministic Classical Cut Elimination

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

10.1007/3-540-45413-6_22 ◽

2001 ◽

pp. 268-282 ◽

Cited By ~ 1

Author(s):

J. Laird

Keyword(s):

Cut Elimination

Download Full-text

Parallel Implementation Models for the λ-Calculus Using the Geometry of Interaction (Extended Abstract)

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

10.1007/3-540-45413-6_30 ◽

2001 ◽

pp. 385-399 ◽

Cited By ~ 9

Author(s):

Jorge Sousa Pinto

Keyword(s):

Parallel Implementation ◽

Implementation Models

Download Full-text

Partially Additive Categories and Fully Complete Models of Linear Logic

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

10.1007/3-540-45413-6_18 ◽

2001 ◽

pp. 197-216 ◽

Cited By ~ 1

Author(s):

Esfandiar Haghverdi

Keyword(s):

Linear Logic

Download Full-text

Many Happy Re urns

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

10.1007/3-540-45413-6_1 ◽

2001 ◽

pp. 1-1

Author(s):

Olivier Danvy

Download Full-text

The Implicit Calculus of Constructions Extending Pure Type Systems with an Intersection Type Binder and Subtyping

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

10.1007/3-540-45413-6_27 ◽

2001 ◽

pp. 344-359 ◽

Cited By ~ 36

Author(s):

Alexandre Miquel

Keyword(s):

Type Systems ◽

Pure Type ◽

Calculus Of Constructions ◽

Pure Type Systems

Download Full-text

Categorical Semantics of Control

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

10.1007/3-540-45413-6_4 ◽

2001 ◽

pp. 6-7

Author(s):

Peter Selinger

Keyword(s):

Categorical Semantics

Download Full-text

Parigot’s Second Order λμ-Calculus and Inductive Types

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

10.1007/3-540-45413-6_26 ◽

2001 ◽

pp. 329-343 ◽

Cited By ~ 1

Author(s):

Ralph Matthes

Keyword(s):

Second Order ◽

Inductive Types

Download Full-text

Strong Normalisation for a Gentzen-like Cut-Elimination Procedure

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

10.1007/3-540-45413-6_32 ◽

2001 ◽

pp. 415-429 ◽

Cited By ~ 5

Author(s):

Christian Urban

Keyword(s):

Cut Elimination ◽

Elimination Procedure

Download Full-text

Deciding Monadic Theories of Hyperalgebraic Trees

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

10.1007/3-540-45413-6_21 ◽

2001 ◽

pp. 253-267 ◽

Cited By ~ 17

Author(s):

Teodor Knapik ◽

Damian Niwiński ◽

Paweł Urzyczyn

Download Full-text

The Finitely Generated Types of the λ-Calculus

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

10.1007/3-540-45413-6_20 ◽

2001 ◽

pp. 240-252 ◽

Cited By ~ 1

Author(s):

Thierry Joly

Keyword(s):

Finitely Generated

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Deconstruction of Non-deterministic Classical Cut Elimination

Parallel Implementation Models for the λ-Calculus Using the Geometry of Interaction (Extended Abstract)

Partially Additive Categories and Fully Complete Models of Linear Logic

Many Happy Re urns

The Implicit Calculus of Constructions Extending Pure Type Systems with an Intersection Type Binder and Subtyping

Categorical Semantics of Control

Parigot’s Second Order λμ-Calculus and Inductive Types

Strong Normalisation for a Gentzen-like Cut-Elimination Procedure

Deciding Monadic Theories of Hyperalgebraic Trees

The Finitely Generated Types of the λ-Calculus

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