An Executable Formalization of the HOL Nuprl Connection in Twelf Carsten Sch¨ urmann1 - NuPRL - Document - PDFSEARCH.IO

First Page	Meta Content
	An Executable Formalization of the HOL/Nuprl Connection in Twelf Carsten Sch¨ urmann1 Add to Reading List Document Date: 2004-12-06 10:57:56 Open Document File Size: 189,97 KB Share Result on Facebook

An Executable Formalization of the HOL/Nuprl Connection in Twelf Carsten Sch¨ urmann1Add to Reading List