Laboratoriet för datavetenskapens grunder
Laboratory for Foundations of Computer Science (LFCS) är ett forskningsinstitut inom School of Informatics vid University of Edinburgh i Skottland . Det grundades 1987 och är en gemenskap av teoretiska datavetare med intressen för samtidighet , semantik , kategorier , algebra , typer , logik , algoritmer , komplexitet , databaser och modellering.
externa länkar
