A Mechanisation of Computability Theory in HOL (1996)

by Vincent Zammit
Venue:In Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics