Fingeraftryk
Dyk ned i forskningsemnerne om 'Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory
Danil Annenkov