An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework
- Carsten Schürmann
- , Mark-Oliver Stehr
- University of Illinois at Chicago
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review