Fingeraftryk
Dyk ned i forskningsemnerne om 'Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic
Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini
Publikation: Bog / Antologi / Rapport › Rapport › Forskning