Lecture Notes in Computer Science - Types for Proofs and Programs
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540680840, 9783540681038

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Normalization by Evaluation for Object Calculi

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-540-68103-8_12 ◽

2008 ◽

pp. 173-187

Author(s):

J. Schwinghammer

Download Full-text

Working with Mathematical Structures in Type Theory

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-540-68103-8_11 ◽

2008 ◽

pp. 157-172 ◽

Author(s):

Claudio Sacerdoti Coen ◽

Enrico Tassi

Keyword(s):

Type Theory ◽

Mathematical Structures

Download Full-text

Algorithmic Equality in Heyting Arithmetic Modulo

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-540-68103-8_1 ◽

2008 ◽

pp. 1-17 ◽

Author(s):

Lisa Allali

Keyword(s):

Heyting Arithmetic

Download Full-text

A Logic for Parametric Polymorphism with Effects

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-540-68103-8_10 ◽

2008 ◽

pp. 142-156 ◽

Author(s):

Rasmus Ejlers Møgelberg ◽

Alex Simpson

Keyword(s):

Parametric Polymorphism

Download Full-text

A Declarative Language for the Coq Proof Assistant

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-540-68103-8_5 ◽

2008 ◽

pp. 69-84 ◽

Author(s):

Pierre Corbineau

Keyword(s):

Proof Assistant ◽

Declarative Language ◽

The Coq Proof Assistant ◽

Coq Proof Assistant

Download Full-text

Verification of the Redecoration Algorithm for Triangular Matrices

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-540-68103-8_9 ◽

2008 ◽

pp. 125-141

Author(s):

Ralph Matthes ◽

Martin Strecker

Keyword(s):

Triangular Matrices

Download Full-text

Characterising Strongly Normalising Intuitionistic Sequent Terms

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-540-68103-8_6 ◽

2008 ◽

pp. 85-99 ◽

Author(s):

J. Espírito Santo ◽

S. Ghilezan ◽

J. Ivetić

Download Full-text

Dependently Sorted Logic

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-540-68103-8_3 ◽

2008 ◽

pp. 33-50 ◽

Author(s):

João Filipe Belo

Download Full-text

In the Search of a Naive Type Theory

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-540-68103-8_8 ◽

2008 ◽

pp. 110-124

Author(s):

Agnieszka Kozubek ◽

Paweł Urzyczyn

Keyword(s):

Download Full-text

Finiteness in a Minimalist Foundation

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-540-68103-8_4 ◽

2008 ◽

pp. 51-68

Author(s):

Francesco Ciraulo ◽

Giovanni Sambin

Download Full-text