28622 articles – 22133 Notices  [english version]
.:. Consultation > Par auteur > Ilik .:.
4 documents classés par :
fulltext access Delimited control operators prove Double-negation Shift
Ilik D.
Annals of Pure and Applied Logic 163, 11 (2012) 1549-1559 [hal-00647389 - version 1]
fulltext access Continuation-passing Style Models Complete for Intuitionistic Logic
Ilik D.
Annals of Pure and Applied Logic (2012) [hal-00647390 - version 3]
fulltext access 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]
fulltext access 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]