Fingeraftryk
Dyk ned i forskningsemnerne om 'An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework
Carsten Schürmann, Mark-Oliver Stehr
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review