Partiality and recursion in interactive theorem provers – an overview
Journal article, 2016
Author
Ana Bove
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Alexander Krauss
Technical University of Munich
Matthieu Sozeau
Institut National de Recherche en Informatique et en Automatique (INRIA)
Mathematical Structures in Computer Science
0960-1295 (ISSN) 1469-8072 (eISSN)
Vol. 26 1 38-88Areas of Advance
Information and Communication Technology
Subject Categories
Computer and Information Science
Computer Science
DOI
10.1017/S0960129514000115