Confluence for classical logic through the distinction between values and computations

Electronic Proceedings in Theoretical Computer Science, EPTCS

Conference Paper

R. Matthes

K. Nakazawa

Publication

Year of publication: 2014

Volume: 164

Pages: 63-77

Identifiers

Other: 2-s2.0-84938604972

Locators

Alternative Titles