21 search results - page 5 / 5 » Symmetry Breaking Using Value Precedence |
LICS
2010
IEEE
13 years 3 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...