Tarmo Uustalu
Tarmo Uustalu
Affiliation: Reykjavik University and Tallinn University of Technology
Pages in this Program
Concurrent monads as monads in a 2-category
Multicategories and representability for substructural intuitionistic modal logics
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑