Fingeraftryk
Dyk ned i forskningsemnerne om 'Stack semantics of type theory'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Stack semantics of type theory
Thierry Coquand, Bassel Mannaa, Fabian Ruch
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review