Embedding a Logical Theory of Constructions in Agda
Paper i proceeding, 2009
Logical theory of constructions
general recursion
type theory
Författare
Ana Bove
Chalmers, Data- och informationsteknik, Datavetenskap
Peter Dybjer
Chalmers, Data- och informationsteknik, Datavetenskap
Andres Sicard-Ramirez
Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV) 2009
59-66
978-160558330-3 (ISBN)
Ämneskategorier
Datavetenskap (datalogi)
ISBN
978-160558330-3