Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

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

1994

1994

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

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