Partiality and recursion in interactive theorem provers – an overview
Artikel i vetenskaplig tidskrift, 2016
Författare
Ana Bove
Chalmers, Data- och informationsteknik, Datavetenskap
Alexander Krauss
Technische Universität München
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-88Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Data- och informationsvetenskap
Datavetenskap (datalogi)
DOI
10.1017/S0960129514000115