Лабораторія основ інформатики LFCS () науково-дослідний інститут в единбурзькому університеті. Лабораторія була заснована 1987 року лауреатом премії Тюрінга Робіном Мілнером та співробітниками (, , ).() Інтерв'ю з Робіном Мілнером, січень 2010 . Наукові дослідження інституту переважно зосереджені на фундаментальних напрямках теорії інформатики, таких як семантика мов програмування, теорія категорій, теорія складності обчислень, паралелізм, формальна верифікація та ін.() (Video) LFCS research in a nutshell .
Науковці (Операційна семантика) (Haskell, Узагальнення в Java) () , та ін.
Посилання