activity
20092024
most citedKripke Models for Classical Logic

21 citations · 70 across the 12 of their papers we have counts for

collaborators
Showing 2012Show all

2 papers · 1 filter

cs.PL2012★ 4 cited

Type Directed Partial Evaluation for Level-1 Shift and Reset

Danko Ilik

We present an implementation in the Coq proof assistant of type directed partial evaluation (TDPE) algorithms for call-by-name and call-by-value versions of shift and reset delimit…

math.LO2012

A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators

Danko Ilik, Keiko Nakata

First, we reconstruct Wim Veldman's result that Open Induction on Cantor space can be derived from Double-negation Shift and Markov's Principle. In doing this, we notice that one h…