520 search results - page 70 / 104 » An Algebraic Semantics for MOF |
105
click to vote
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
110
click to vote
CIE
2010
Springer
15 years 6 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
100
click to vote
FMOODS
2008
15 years 3 months ago
2008
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
109
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we present a simple database definition language: that of categories and functors. A database schema is a category and a state is a set-valued functor. We show that m...
123
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...