On semantics and applications of guarded recursion

Aleš Bizjak

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Fingeraftryk

Dyk ned i forskningsemnerne om 'On semantics and applications of guarded recursion'. Sammen danner de et unikt fingeraftryk.

Computer Science