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

9783540255932, 9783540320142

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Degeneracy of Σ-Types in Presence of Computational Classical Logic

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

10.1007/11417170_16 ◽

2005 ◽

pp. 209-220 ◽

Cited By ~ 13

Author(s):

Hugo Herbelin

Keyword(s):

Classical Logic

Download Full-text

Naming Proofs in Classical Propositional Logic

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

10.1007/11417170_19 ◽

2005 ◽

pp. 246-261 ◽

Cited By ~ 14

Author(s):

François Lamarche ◽

Lutz Straßburger

Keyword(s):

Propositional Logic ◽

Classical Propositional Logic

Download Full-text

The Elimination of Nesting in SPCF

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

10.1007/11417170_18 ◽

2005 ◽

pp. 234-245

Author(s):

J. Laird

Download Full-text

A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract

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

10.1007/11417170_2 ◽

2005 ◽

pp. 10-10

Author(s):

Amy P. Felty

Keyword(s):

Semantic Approach

Download Full-text

Filters on CoInductive Streams, an Application to Eratosthenes’ Sieve

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

10.1007/11417170_9 ◽

2005 ◽

pp. 102-115 ◽

Cited By ~ 18

Author(s):

Yves Bertot

Download Full-text

Proof Contexts with Late Binding

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

10.1007/11417170_24 ◽

2005 ◽

pp. 324-338

Author(s):

Virgile Prevosto ◽

Sylvain Boulmé

Download Full-text

Arithmetical Proofs of Strong Normalization Results for the Symmetric λμ-Calculus

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

10.1007/11417170_13 ◽

2005 ◽

pp. 162-178 ◽

Cited By ~ 4

Author(s):

René David ◽

Karim Nour

Keyword(s):

Strong Normalization

Download Full-text

Subtyping Recursive Types Modulo Associative Commutative Products

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

10.1007/11417170_14 ◽

2005 ◽

pp. 179-193 ◽

Cited By ~ 4

Author(s):

Roberto Di Cosmo ◽

François Pottier ◽

Didier Rémy

Download Full-text

Rank-2 Intersection and Polymorphic Recursion

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

10.1007/11417170_12 ◽

2005 ◽

pp. 146-161 ◽

Cited By ~ 4

Author(s):

Ferruccio Damiani

Keyword(s):

Rank 2

Download Full-text

Can Proofs Be Animated By Games?

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

10.1007/11417170_3 ◽

2005 ◽

pp. 11-22 ◽

Cited By ~ 2

Author(s):

Susumu Hayashi

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

On the Degeneracy of Σ-Types in Presence of Computational Classical Logic

Naming Proofs in Classical Propositional Logic

The Elimination of Nesting in SPCF

A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract

Filters on CoInductive Streams, an Application to Eratosthenes’ Sieve

Proof Contexts with Late Binding

Arithmetical Proofs of Strong Normalization Results for the Symmetric λμ-Calculus

Subtyping Recursive Types Modulo Associative Commutative Products

Rank-2 Intersection and Polymorphic Recursion

Can Proofs Be Animated By Games?

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