.:. Browse > By authors > Ilik .:.

4 documents ordered by : Date Title first author name document type Submit date

Delimited control operators prove Double-negation Shift Ilik D. Annals of Pure and Applied Logic 163, 11 (2012) 1549-1559 [hal-00647389 - version 1]

Continuation-passing Style Models Complete for Intuitionistic Logic Ilik D. Annals of Pure and Applied Logic (2012) [hal-00647390 - version 3]

Preuves constructives de complétude et contrôle délimité Ilik D. Ecole Polytechnique X (22/10/2010), Hugo Herbelin (Dir.) [tel-00529021 - version 1]

Kripke Models for Classical Logic Ilik D., Lee G., Herbelin H. Annals of Pure and Applied Logic 161, 11 (2010) 1367-1378 [inria-00371959 - version 4]