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

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540732273, 9783540732280

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Higher-Order Logic Programming Languages with Constraints: A Semantics

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

10.1007/978-3-540-73228-0_20 ◽

2007 ◽

pp. 272-289 ◽

Author(s):

James Lipton ◽

Susana Nieva

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Higher Order ◽

Order Logic ◽

Higher Order Logic ◽

Logic Programming Languages

Download Full-text

Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic

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

10.1007/978-3-540-73228-0_13 ◽

2007 ◽

pp. 163-177 ◽

Author(s):

Marcelo P. Fiore

Keyword(s):

Linear Logic ◽

Differential Structure ◽

Intuitionistic Linear Logic

Download Full-text

An Arithmetical Proof of the Strong Normalization for the λ-Calculus with Recursive Equations on Types

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

10.1007/978-3-540-73228-0_8 ◽

2007 ◽

pp. 84-101

Author(s):

René David ◽

Karim Nour

Keyword(s):

Strong Normalization ◽

Recursive Equations

Download Full-text

Strong Normalization and Equi-(Co)Inductive Types

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

10.1007/978-3-540-73228-0_3 ◽

2007 ◽

pp. 8-22 ◽

Author(s):

Andreas Abel

Keyword(s):

Strong Normalization ◽

Inductive Types

Download Full-text

Initial Algebra Semantics Is Enough!

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

10.1007/978-3-540-73228-0_16 ◽

2007 ◽

pp. 207-222 ◽

Author(s):

Patricia Johann ◽

Neil Ghani

Keyword(s):

Initial Algebra ◽

Initial Algebra Semantics

Download Full-text

Edifices and Full Abstraction for the Symmetric Interaction Combinators

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

10.1007/978-3-540-73228-0_22 ◽

2007 ◽

pp. 305-320

Author(s):

Damiano Mazza

Keyword(s):

Full Abstraction

Download Full-text

Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo

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

10.1007/978-3-540-73228-0_9 ◽

2007 ◽

pp. 102-117 ◽

Author(s):

Denis Cousineau ◽

Gilles Dowek

Keyword(s):

Type Systems ◽

Pure Type ◽

Pi Calculus ◽

Pure Type Systems

Download Full-text

An Isomorphism Between Cut-Elimination Procedure and Proof Reduction

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

10.1007/978-3-540-73228-0_24 ◽

2007 ◽

pp. 336-350 ◽

Author(s):

Koji Nakazawa

Keyword(s):

Cut Elimination ◽

Elimination Procedure

Download Full-text

A Substructural Type System for Delimited Continuations

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

10.1007/978-3-540-73228-0_17 ◽

2007 ◽

pp. 223-239 ◽

Author(s):

Oleg Kiselyov ◽

Chung-chieh Shan

Keyword(s):

Type System ◽

Delimited Continuations

Download Full-text

Weakly Distributive Domains

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

10.1007/978-3-540-73228-0_15 ◽

2007 ◽

pp. 194-206 ◽

Author(s):

Ying Jiang ◽

Guo-Qiang Zhang

Download Full-text