About Laboratory for Foundations of Computer Science
Laboratory for Foundations of Computer Science- School of Informatics. A community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic and complexity.
