Add to ORKGWe introduce SK-domains are define S-functions which generalise the notion of sequential functions, already introduced by Milner, by Vuillemin and by Kahn and Plotkin ; we then show that SK-domains and S-functions constitute a A-category
In the first part of this Thesis we develop the theory of locally boolean domains and bistable maps ...
Abstract. We give a simple order-theoretic construction of a Cartesian closed category of sequential...
We investigate the notion of pointed S-protomodular category, with respect to a suitable class S of ...
We introduce SK-domains are define S-functions which generalise the notion of sequential functions, ...
We introduce SK-domains are define S-functions which generalise the notion of sequential functions, ...
We introduce SK-domains are define S-functions which generalise the notion of sequential functions, ...
S-functions are a generalisation of Berry's stable functions, for being intensionally stable, so tha...
S-functions are a generalisation of Berry's stable functions, for being intensionally stable, so tha...
: S-functions are a generalisation of Berry's stable functions, for being intensionally stable,...
The search for a general semantic characterization of sequential functions is motivated by the full ...
ion for a Sub-language of PCF Stephen Brookes Shai Geva April 1993 CMU-CS-93-163 School of Computer...
AbstractWe present a cartesian closed category of dI-domains with coherence and strongly stable func...
AbstractWe show that the notion of sequentiality as presented in concrete data structures may be car...
AbstractWe present a cartesian closed category of dI-domains with coherence and strongly stable func...
Abstract. We give a simple order-theoretic construction of a cartesian closed category of sequential...
In the first part of this Thesis we develop the theory of locally boolean domains and bistable maps ...
Abstract. We give a simple order-theoretic construction of a Cartesian closed category of sequential...
We investigate the notion of pointed S-protomodular category, with respect to a suitable class S of ...
We introduce SK-domains are define S-functions which generalise the notion of sequential functions, ...
We introduce SK-domains are define S-functions which generalise the notion of sequential functions, ...
We introduce SK-domains are define S-functions which generalise the notion of sequential functions, ...
S-functions are a generalisation of Berry's stable functions, for being intensionally stable, so tha...
S-functions are a generalisation of Berry's stable functions, for being intensionally stable, so tha...
: S-functions are a generalisation of Berry's stable functions, for being intensionally stable,...
The search for a general semantic characterization of sequential functions is motivated by the full ...
ion for a Sub-language of PCF Stephen Brookes Shai Geva April 1993 CMU-CS-93-163 School of Computer...
AbstractWe present a cartesian closed category of dI-domains with coherence and strongly stable func...
AbstractWe show that the notion of sequentiality as presented in concrete data structures may be car...
AbstractWe present a cartesian closed category of dI-domains with coherence and strongly stable func...
Abstract. We give a simple order-theoretic construction of a cartesian closed category of sequential...
In the first part of this Thesis we develop the theory of locally boolean domains and bistable maps ...
Abstract. We give a simple order-theoretic construction of a Cartesian closed category of sequential...
We investigate the notion of pointed S-protomodular category, with respect to a suitable class S of ...