EPTCS 97 - CL&C 2012
Herman Geuvers, Ugo de'Liguoro (Eds.): Proceedings Fourth Workshop on Classical Logic and Computation. 2012 EPTCS 97 [ contents ]- Federico Aschieri, Margherita Zorzi: Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic. ... 1-18
- Robbert Krebbers: A call-by-value lambda-calculus with lists and control. ... 19-33
- Thomas Powell: Applying Gödel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's Lemma. ... 49-62
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team