On the algebraic foundation of proof assistants for intuitionistic type theory

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4989 LNCS, Issue , 2008, Pages 3-13

  Abel, Andreas ^a   Coquand, Thierry ^b   Dybjer, Peter ^b  

^a UNIVERSITY OF MUNICH   (Germany)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC FOUNDATION; ALGEBRAIC PRESENTATION;

ALGEBRA; OBJECT ORIENTED PROGRAMMING; SOFTWARE TESTING;

MODEL CHECKING;

EID: 43149106515     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78969-7_2     Document Type: Conference Paper

References (13)