On semantics and applications of guarded recursion

Aleš Bizjak

Research output: Book/anthology/dissertation/reportPh.D. thesis

Fingerprint

Dive into the research topics of 'On semantics and applications of guarded recursion'. Together they form a unique fingerprint.

Computer Science

Mathematics