Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Laboratory for Foundations of Computer Science

Known as: LFCS 
The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Esta investigacion presenta el diseno de un control basado en arquitectura LFCS (Linear Feedback Concurrent Structure), sobre… Expand
Highly Cited
2004
Highly Cited
2004
SummaryThe program development process is viewed as a sequence of implementation steps leading from a specification to a program… Expand
2000
2000
We propose a formalism for higher-order rewriting in de Bruijn notation. This notation not only is used for terms (as usually… Expand
Highly Cited
1996
Highly Cited
1996
Les systemes communicants mettent en jeu des objets potentiellement infinis (boucles d'interaction, listes de donnees infinies… Expand
Highly Cited
1996
Highly Cited
1996
rewriting system, 16 irreflexive, 33 weakly irreflexive, 33 with typing, 37, 40 with very weak typing, 40 with weak typing, 40… Expand
  • table 10.1
  • table 12.1
  • table 13.1
  • table 13.2
1994
1994
  • P. Mulry
  • Theor. Comput. Sci.
  • 1994
  • Corpus ID: 46529009
Abstract In this paper we consider two conceptually different categorical approaches to partiality namely partial map classifiers… Expand
Highly Cited
1993
Highly Cited
1993
Within the framework of categorical logic/type theory, we provide a category-theoretic account of some logical concepts, i.e… Expand
Highly Cited
1992
Highly Cited
1992
The polymorphic type discipline, as in the ML language, fits well within purely applicative languages, but does not extend… Expand
Highly Cited
1992
Highly Cited
1992
We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… Expand
  • figure 1
  • figure 2
  • figure 3
Highly Cited
1992
Highly Cited
1992
We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… Expand
  • figure 1
  • figure 2
  • figure 3