An Executable Formalization of the HOL/NuPRL Connection in Twelf (2005)

by C Schürmann, M-O Stehr
Venue:In 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning