Publications

Carsten Schürmann, Mark-Oliver Stehr. An Executable Formalization of the HOL/Nurpl Connection in Twelf. 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning March 14-18th, 2005, Montevideo, Uruguay. The complete Twelf development source code can be found here: hol-nuprl.tgz.