FOSSACS
2004
Springer
14 years 5 months ago
2004
Springer
FOSSACS
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
FOSSACS
2004
Springer
14 years 5 months ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
FOSSACS
2004
Springer
14 years 5 months ago
2004
Springer
FOSSACS
2004
Springer
14 years 5 months ago
2004
Springer
FOSSACS
2004
Springer
14 years 5 months ago
2004
Springer
FOSSACS
2004
Springer
14 years 5 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...