3994 search results - page 17 / 799 » A Linear Logical Framework |
FOSSACS
2004
Springer
14 years 4 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...
TCS
2011
13 years 5 months ago
2011
We introduce the Danos-Régnier category
LICS
1991
IEEE
14 years 2 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
TCS
2011
13 years 5 months ago
2011
We provide new correctness criteria for all fragments (multiplicative, exponential, additive) of linear logic. We use these criteria for proving that deciding the correctness of a...
ICLP
2001
Springer
14 years 3 months ago
2001
Springer