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

More information

Latest update

8/27/2020