An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf.

Carsten Schrmann, Mark-Oliver Stehr

Browse the full LPAR paper archive.