1768 search results - page 30 / 354 » A Logic for Algebraic Effects |
144
Voted
MLQ
2007
15 years 5 months ago
2007
125
Voted
AICOM
2008
15 years 4 months ago
2008
119
Voted
DLOG
2009
15 years 3 months ago
2009
173
click to vote
LOGCOM
2010
15 years 12 days ago
2010
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...