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

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642022722, 9783642022739

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Inhabitation of Low-Rank Intersection Types

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

10.1007/978-3-642-02273-9_26 ◽

2009 ◽

pp. 356-370 ◽

Author(s):

Paweł Urzyczyn

Keyword(s):

Low Rank ◽

Intersection Types

Download Full-text

Weak ω-Categories from Intensional Type Theory

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

10.1007/978-3-642-02273-9_14 ◽

2009 ◽

pp. 172-187 ◽

Author(s):

Peter LeFanu Lumsdaine

Keyword(s):

Download Full-text

On the Values of Reducibility Candidates

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

10.1007/978-3-642-02273-9_20 ◽

2009 ◽

pp. 264-278 ◽

Author(s):

Colin Riba

Download Full-text

Kripke Semantics for Martin-Löf’s Extensional Type Theory

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

10.1007/978-3-642-02273-9_19 ◽

2009 ◽

pp. 249-263 ◽

Author(s):

Steve Awodey ◽

Florian Rabe

Keyword(s):

Type Theory ◽

Kripke Semantics

Download Full-text

Thick Subtrees, Games and Experiments

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

10.1007/978-3-642-02273-9_7 ◽

2009 ◽

pp. 65-79 ◽

Author(s):

Pierre Boudes

Download Full-text

A Polymorphic Type System for the Lambda-Calculus with Constructors

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

10.1007/978-3-642-02273-9_18 ◽

2009 ◽

pp. 234-248 ◽

Author(s):

Barbara Petit

Keyword(s):

Type System ◽

Lambda Calculus ◽

Polymorphic Type

Download Full-text

The Cut-Elimination Theorem for Differential Nets with Promotion

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

10.1007/978-3-642-02273-9_17 ◽

2009 ◽

pp. 219-233 ◽

Author(s):

Michele Pagani

Keyword(s):

Cut Elimination

Download Full-text

Refinement Types as Proof Irrelevance

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

10.1007/978-3-642-02273-9_13 ◽

2009 ◽

pp. 157-171 ◽

Author(s):

William Lovas ◽

Frank Pfenning

Keyword(s):

Refinement Types

Download Full-text

A Pronominal Approach to Binding and Computation

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

10.1007/978-3-642-02273-9_2 ◽

2009 ◽

pp. 3-4

Author(s):

Robert Harper ◽

Daniel R. Licata ◽

Noam Zeilberger

Download Full-text

Parametricity for Haskell with Imprecise Error Semantics

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

10.1007/978-3-642-02273-9_22 ◽

2009 ◽

pp. 294-308 ◽

Author(s):

Florian Stenger ◽

Janis Voigtländer

Download Full-text