Parametric Domain-theoretic models of Linear Abadi & Plotkin Logic

Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen

Publikation: Bog / Antologi / Rapport › Rapport › Forskning

Fingeraftryk

Dyk ned i forskningsemnerne om 'Parametric Domain-theoretic models of Linear Abadi & Plotkin Logic'. Sammen danner de et unikt fingeraftryk.

Keyphrases

Mathematics