Coinduction: Project results

Coinductive and rational types in Agda

Publications

Monads and comonads

Publications

Code only

Combinations of nontermination, communication and concurrency in programming language semantics and program logics

Publications

Functional reactive programming and intuitionistic linear-time temporal logic

Publications

Cellular automata

Publications

Collaboration in TYPES, AIM, international cooperation

Publications

ERDF
Tarmo Uustalu
Last update 17 September 2017