499 search results - page 45 / 100 » Logic Programming in a Fragment of Intuitionistic Linear Log... |
125
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
127
click to vote
CTCS
1989
Springer
15 years 8 months ago
1989
Springer
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...
123
click to vote
ADAEUROPE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
125
click to vote
PLILP
1995
Springer
15 years 8 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
112
click to vote
LICS
2002
IEEE
15 years 9 months ago
2002
IEEE
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...