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

9783642216909, 9783642216916

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Rewriting in Practice

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

10.1007/978-3-642-21691-6_3 ◽

2011 ◽

pp. 6-8

Author(s):

Ashish Tiwari

Download Full-text

Partiality, State and Dependent Types

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

10.1007/978-3-642-21691-6_17 ◽

2011 ◽

pp. 198-212 ◽

Cited By ~ 4

Author(s):

Kasper Svendsen ◽

Lars Birkedal ◽

Aleksandar Nanevski

Keyword(s):

Dependent Types

Download Full-text

Realizability Proof for Normalization of Full Differential Linear Logic

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

10.1007/978-3-642-21691-6_11 ◽

2011 ◽

pp. 107-122 ◽

Cited By ~ 1

Author(s):

Stéphane Gimenez

Keyword(s):

Linear Logic

Download Full-text

Combining Proofs and Programs

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

10.1007/978-3-642-21691-6_4 ◽

2011 ◽

pp. 9-9

Author(s):

Stephanie Weirich

Download Full-text

An Elementary Affine λ-Calculus with Multithreading and Side Effects

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

10.1007/978-3-642-21691-6_13 ◽

2011 ◽

pp. 138-152 ◽

Cited By ~ 5

Author(s):

Antoine Madet ◽

Roberto M. Amadio

Keyword(s):

Side Effects

Download Full-text

A Filter Model for the λμ-Calculus

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

10.1007/978-3-642-21691-6_18 ◽

2011 ◽

pp. 213-228 ◽

Cited By ~ 8

Author(s):

Steffen van Bakel ◽

Franco Barbanera ◽

Ugo de’Liguoro

Keyword(s):

Filter Model

Download Full-text

Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion

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

10.1007/978-3-642-21691-6_14 ◽

2011 ◽

pp. 153-168 ◽

Cited By ~ 3

Author(s):

Giulio Manzonetto ◽

Michele Pagani

Keyword(s):

Taylor Expansion ◽

Lambda Calculus

Download Full-text

Controlling Program Extraction in Light Logics

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

10.1007/978-3-642-21691-6_12 ◽

2011 ◽

pp. 123-137

Author(s):

Marc Lasson

Keyword(s):

Program Extraction

Download Full-text

Orthogonality and Boolean Algebras for Deduction Modulo

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

10.1007/978-3-642-21691-6_9 ◽

2011 ◽

pp. 76-90 ◽

Cited By ~ 1

Author(s):

Aloïs Brunel ◽

Olivier Hermant ◽

Clément Houtmann

Keyword(s):

Boolean Algebras ◽

Deduction Modulo

Download Full-text

Finite Combinatory Logic with Intersection Types

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

10.1007/978-3-642-21691-6_15 ◽

2011 ◽

pp. 169-183 ◽

Cited By ~ 12

Author(s):

Jakob Rehof ◽

Paweł Urzyczyn

Keyword(s):

Combinatory Logic ◽

Intersection Types

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Rewriting in Practice

Partiality, State and Dependent Types

Realizability Proof for Normalization of Full Differential Linear Logic

Combining Proofs and Programs

An Elementary Affine λ-Calculus with Multithreading and Side Effects

A Filter Model for the λμ-Calculus

Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion

Controlling Program Extraction in Light Logics

Orthogonality and Boolean Algebras for Deduction Modulo

Finite Combinatory Logic with Intersection Types

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