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

9783642389450, 9783642389467

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction

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

10.1007/978-3-642-38946-7_10 ◽

2013 ◽

pp. 109-124

Author(s):

Pierre Clairambault

Keyword(s):

Exact Bounds

Download Full-text

Intersection Type Matching with Subtyping

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

10.1007/978-3-642-38946-7_11 ◽

2013 ◽

pp. 125-139 ◽

Cited By ~ 2

Author(s):

Boris Düdder ◽

Moritz Martens ◽

Jakob Rehof

Download Full-text

On Interaction, Continuations and Defunctionalization

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

10.1007/978-3-642-38946-7_16 ◽

2013 ◽

pp. 205-220 ◽

Cited By ~ 2

Author(s):

Ulrich Schöpp

Download Full-text

Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics

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

10.1007/978-3-642-38946-7_7 ◽

2013 ◽

pp. 61-76

Author(s):

Stefano Berardi ◽

Makoto Tatsuta

Keyword(s):

Game Semantics

Download Full-text

Non-linearity as the Metric Completion of Linearity

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

10.1007/978-3-642-38946-7_3 ◽

2013 ◽

pp. 3-14 ◽

Cited By ~ 1

Author(s):

Damiano Mazza

Download Full-text

Using Models to Model-Check Recursive Schemes

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

10.1007/978-3-642-38946-7_15 ◽

2013 ◽

pp. 189-204 ◽

Cited By ~ 6

Author(s):

Sylvain Salvati ◽

Igor Walukiewicz

Keyword(s):

Model Check

Download Full-text

Generalizations of Hedberg’s Theorem

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

10.1007/978-3-642-38946-7_14 ◽

2013 ◽

pp. 173-188 ◽

Cited By ~ 5

Author(s):

Nicolai Kraus ◽

Martín Escardó ◽

Thierry Coquand ◽

Thorsten Altenkirch

Download Full-text

Small Induction Recursion

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

10.1007/978-3-642-38946-7_13 ◽

2013 ◽

pp. 156-172 ◽

Cited By ~ 9

Author(s):

Peter Hancock ◽

Conor McBride ◽

Neil Ghani ◽

Lorenzo Malatesta ◽

Thorsten Altenkirch

Download Full-text

Completeness of Conversion between Reactive Programs for Ultrametric Models

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

10.1007/978-3-642-38946-7_17 ◽

2013 ◽

pp. 221-235

Author(s):

Paula Severi ◽

Fer-Jan de Vries

Keyword(s):

Reactive Programs

Download Full-text

Proof-Relevant Logical Relations for Name Generation

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

10.1007/978-3-642-38946-7_6 ◽

2013 ◽

pp. 48-60 ◽

Cited By ~ 5

Author(s):

Nick Benton ◽

Martin Hofmann ◽

Vivek Nigam

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction

Intersection Type Matching with Subtyping

On Interaction, Continuations and Defunctionalization

Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics

Non-linearity as the Metric Completion of Linearity

Using Models to Model-Check Recursive Schemes

Generalizations of Hedberg’s Theorem

Small Induction Recursion

Completeness of Conversion between Reactive Programs for Ultrametric Models

Proof-Relevant Logical Relations for Name Generation

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