Denotational semantics in Synthetic Guarded Domain Theory

Marco Paviotti

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingPh.d.-afhandling

Fingeraftryk

Dyk ned i forskningsemnerne om 'Denotational semantics in Synthetic Guarded Domain Theory'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab