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

9783540626886, 9783540684381

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Computational reflection in the calculus of constructions and its application to theorem proving

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

10.1007/3-540-62688-3_44 ◽

1997 ◽

pp. 319-335 ◽

Cited By ~ 5

Author(s):

Harald Rueß

Keyword(s):

Theorem Proving ◽

Calculus Of Constructions ◽

Computational Reflection

Download Full-text

Logical reconstruction of bi-domains

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

10.1007/3-540-62688-3_31 ◽

1997 ◽

pp. 99-111 ◽

Cited By ~ 1

Author(s):

Antonio Bucciarelli

Keyword(s):

Logical Reconstruction

Download Full-text

Typed intermediate languages for shape analysis

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

10.1007/3-540-62688-3_26 ◽

1997 ◽

pp. 11-29 ◽

Cited By ~ 1

Author(s):

Gianna Bellè ◽

Eugenio Moggi

Keyword(s):

Shape Analysis ◽

Intermediate Languages

Download Full-text

A type theoretical view of Böhm-trees

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

10.1007/3-540-62688-3_39 ◽

1997 ◽

pp. 231-247 ◽

Cited By ~ 2

Author(s):

Toshihiko Kurata

Keyword(s):

Theoretical View

Download Full-text

Eta-expansions in dependent type theory — The calculus of constructions

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

10.1007/3-540-62688-3_35 ◽

1997 ◽

pp. 164-180 ◽

Cited By ~ 10

Author(s):

Neil Ghani

Keyword(s):

Type Theory ◽

Dependent Type Theory ◽

Calculus Of Constructions ◽

Dependent Type

Download Full-text

Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi

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

10.1007/3-540-62688-3_37 ◽

1997 ◽

pp. 196-213 ◽

Cited By ~ 37

Author(s):

Masahito Hasegawa

Keyword(s):

Monoidal Categories

Download Full-text

An axiomatic system of parametricity

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

10.1007/3-540-62688-3_46 ◽

1997 ◽

pp. 354-372 ◽

Cited By ~ 3

Author(s):

Takeuti ◽

Izumi

Keyword(s):

Axiomatic System

Download Full-text

Matching constraints for the Lambda Calculus of Objects

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

10.1007/3-540-62688-3_28 ◽

1997 ◽

pp. 46-62 ◽

Cited By ~ 9

Author(s):

Viviana Bono ◽

Michele Bugliesi

Keyword(s):

Lambda Calculus ◽

Matching Constraints

Download Full-text

Names, equations, relations: Practical ways to reason about new

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

10.1007/3-540-62688-3_45 ◽

1997 ◽

pp. 336-353 ◽

Cited By ~ 1

Author(s):

Ian Stark

Download Full-text

Schwichtenberg-style lambda definability is undecidable

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

10.1007/3-540-62688-3_41 ◽

1997 ◽

pp. 267-283

Author(s):

Jan Małolepszy ◽

Małgorzata Moczurad ◽

Marek Zaionc

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Computational reflection in the calculus of constructions and its application to theorem proving

Logical reconstruction of bi-domains

Typed intermediate languages for shape analysis

A type theoretical view of Böhm-trees

Eta-expansions in dependent type theory — The calculus of constructions

Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi

An axiomatic system of parametricity

Matching constraints for the Lambda Calculus of Objects

Names, equations, relations: Practical ways to reason about new

Schwichtenberg-style lambda definability is undecidable

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