Partiality and recursion in interactive theorem provers – an overview
Article in Mathematical Structures in Computer Science (November 2014)
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
Article in Mathematical Structures in Computer Science (November 2014)
Article in Journal of Automated Reasoning (November 2012)