Proceedings of the workshop on Partiality and Recursion in Interactive Theorem Provers
Book, 2010
interactive theorem prover
recursion
partiality
Author
Ana Bove
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Ekaterina Komendantskaya
Heriot-Watt University
Milad Niqui
Heriot-Watt University
Subject Categories
Computer Science
DOI
10.4204/EPTCS.43.0