Laboratory for Foundations of Computer Science
Academic institution in City of Edinburgh, Scotland From Wikipedia, the free encyclopedia
The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in Scotland. It was founded in 1987 by Rod Burstall, Robin Milner, Gordon Plotkin and Matthew Hennessy.[1] It is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling.[2]
 | This article relies largely or entirely on a single source. (March 2024) |
 | This article only references primary sources. (March 2024) |
References
External links
Wikiwand - on
Seamless Wikipedia browsing. On steroids.