21 search results - page 5 / 5 » Symmetry Breaking Using Value Precedence |
149
click to vote
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...