Add to ORKGThis paper introduces the theory of a particular kind of computation domains called concrete domains. The purpose of this theory is to find a satisfactory framework for the notions of coroutine computation and sequentiality of evaluation
Description logics are knowledge representation and reasoning formalisms which represent conceptual ...
Concrete domains have been introduced in Description Logics (DLs) to enable reference to concrete ob...
Almost all of the categories normally used as a mathematical foundation for denotational semantics s...
AbstractThis paper introduces the theory of a particular kind of computation domains called concrete...
It is well known that for a given concrete domain $C$ which is a complete lattice, the abstract doma...
AbstractWe show that the notion of sequentiality as presented in concrete data structures may be car...
AbstractBuilding on Kahn and Plotkin's theory of concrete data structures and sequential functions, ...
International audienceIn this short survey, we present logical formalisms in which reasoning about c...
Concrete domains are an extension of Description Logics (DLs) that allows to integrate reasoning abo...
AbstractWe provide a sequential denotational semantics for sequential programming languages, based o...
AbstractAlmost all of the categories normally used as a mathematical foundation for denotational sem...
Abstract: "Building on Kahn and Plotkin's theory of concrete data structures and sequential function...
This report contains an overview of concrete data structures, sequential functions and sequential al...
AbstractThe relation between stability and sequentiality is investigated in the category of Girard's...
Concrete domains have been introduced in the area of Description Logic (DL) to enable reference to c...
Description logics are knowledge representation and reasoning formalisms which represent conceptual ...
Concrete domains have been introduced in Description Logics (DLs) to enable reference to concrete ob...
Almost all of the categories normally used as a mathematical foundation for denotational semantics s...
AbstractThis paper introduces the theory of a particular kind of computation domains called concrete...
It is well known that for a given concrete domain $C$ which is a complete lattice, the abstract doma...
AbstractWe show that the notion of sequentiality as presented in concrete data structures may be car...
AbstractBuilding on Kahn and Plotkin's theory of concrete data structures and sequential functions, ...
International audienceIn this short survey, we present logical formalisms in which reasoning about c...
Concrete domains are an extension of Description Logics (DLs) that allows to integrate reasoning abo...
AbstractWe provide a sequential denotational semantics for sequential programming languages, based o...
AbstractAlmost all of the categories normally used as a mathematical foundation for denotational sem...
Abstract: "Building on Kahn and Plotkin's theory of concrete data structures and sequential function...
This report contains an overview of concrete data structures, sequential functions and sequential al...
AbstractThe relation between stability and sequentiality is investigated in the category of Girard's...
Concrete domains have been introduced in the area of Description Logic (DL) to enable reference to c...
Description logics are knowledge representation and reasoning formalisms which represent conceptual ...
Concrete domains have been introduced in Description Logics (DLs) to enable reference to concrete ob...
Almost all of the categories normally used as a mathematical foundation for denotational semantics s...