Sciweavers

153 search results - page 13 / 31
» entcs 2002
Sort
View
ENTCS
2002
105views more  ENTCS 2002»
14 years 10 months ago
Fixed points in digital topology (via Helly posets)
Abstract. We extend some of our previous results on fixed points of graph multifunctions to posets. The posets of most interest here are the (finite) Khalimsky spaces, in their spe...
Rueiher Tsaur, Michael B. Smyth
ENTCS
2002
77views more  ENTCS 2002»
14 years 10 months ago
Syntactic Type Soundness for HM(X)
The HM(X) framework is a constraint-based type framework with built-in letpolymorphism. This paper establishes purely syntactic type soundness for the framework, treating an exten...
Christian Skalka, François Pottier
ENTCS
2002
92views more  ENTCS 2002»
14 years 10 months ago
The Relevance of Semantic Subtyping
We compare Meyer and Routley's minimal relevant logic B+ with the recent semanticsbased approach to subtyping introduced by Frisch, Castagna and Benzaken in the definition of...
Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio...
ENTCS
2002
78views more  ENTCS 2002»
14 years 10 months ago
The Impact of Linearity Information on the Performance of TyCO
We describe a linear channel inference system for the TyCO programming language, where channel usage is tracked through method invocations as well as procedure calls. We then appl...
Francisco Martins, Luís M. B. Lopes, Vasco ...
ENTCS
2002
76views more  ENTCS 2002»
14 years 10 months ago
A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras
In [19] Rutten introduced the notion of weak bisimulations and weak bisimilarity for coalgebras of the functor F(X) = X +O. In the present paper I will introduce a notion of weak ...
Jan Rothe