Constructive Completeness Proofs and Delimited Control. (Preuves constructives de complétude et contrôle délimité)

Cite this paper

@inproceedings{Ilik2010ConstructiveCP, title={Constructive Completeness Proofs and Delimited Control. (Preuves constructives de compl{\'e}tude et contr{\^o}le d{\'e}limit{\'e})}, author={Danko Ilik}, year={2010} }