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

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 ◽

Cited By ~ 9

Author(s):

Paweł Urzyczyn

Keyword(s):

Low Rank ◽

Intersection Types

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 ◽

Cited By ~ 16

Author(s):

Peter LeFanu Lumsdaine

Keyword(s):

Type Theory

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 ◽

Cited By ~ 2

Author(s):

Colin Riba

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 ◽

Cited By ~ 3

Author(s):

William Lovas ◽

Frank Pfenning

Keyword(s):

Refinement Types

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 ◽

Cited By ~ 10

Author(s):

Pierre Boudes

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 ◽

Cited By ~ 2

Author(s):

Barbara Petit

Keyword(s):

Type System ◽

Lambda Calculus ◽

Polymorphic Type

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 ◽

Cited By ~ 6

Author(s):

Michele Pagani

Keyword(s):

Cut Elimination

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

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 ◽

Cited By ~ 3

Author(s):

Steve Awodey ◽

Florian Rabe

Keyword(s):

Type Theory ◽

Kripke Semantics

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 ◽

Cited By ~ 3

Author(s):

Florian Stenger ◽

Janis Voigtländer

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Inhabitation of Low-Rank Intersection Types

Weak ω-Categories from Intensional Type Theory

On the Values of Reducibility Candidates

Refinement Types as Proof Irrelevance

Thick Subtrees, Games and Experiments

A Polymorphic Type System for the Lambda-Calculus with Constructors

The Cut-Elimination Theorem for Differential Nets with Promotion

A Pronominal Approach to Binding and Computation

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

Parametricity for Haskell with Imprecise Error Semantics

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