939 search results - page 95 / 188 » Semantic Abstraction and Quantum Computation |
ICALP
2004
Springer
14 years 3 months ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
ROOM
2000
13 years 11 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
DIDACTICA
2000
13 years 10 months ago
2000
In computer science methods to aid learning are very important, because abstract models are used frequently. For this conventional teaching methods do not suffice. We have develope...
ICEIS
2003
IEEE
14 years 3 months ago
2003
IEEE
: A definition of types in an information system is given from real-world abstractions through data constructs, schema and definitions to physical data values. Category theory su...
AMAST
2008
Springer
14 years 1 days ago
2008
Springer
ed Abstract an extended abstract of [11]. Service-oriented computing is emerging as a new paradigm based on autonomous, platform-independent computational entities, called services...