@PhdThesis{ ilik:tel-00529021,
Author = "Ilik, Danko",
date-added = "2020-04-02 15:59:27 +0200",
date-modified = "2020-04-02 15:59:27 +0200",
hal_id = "tel-00529021",
hal_version = "v1",
Keywords = "completeness proofs ; normalization by evaluation ; delimited control operators ; preuves de compl{\'e}tude ; normalisation par {\'e}valuation ; op{\'e}rateurs de contr{\^o}le d{\'e}limites",
Month = "October",
PDF = "https://pastel.archives-ouvertes.fr/tel-00529021/file/thesis-danko-ilik.pdf",
School = "{Ecole Polytechnique X}",
Title = "{Constructive Completeness Proofs and Delimited Control}",
Type = "Theses",
URL = "https://pastel.archives-ouvertes.fr/tel-00529021",
Year = "2010",
bdsk-url-1 = "https://pastel.archives-ouvertes.fr/tel-00529021",
File = "Constructive completeness proofs and delimited control - slides - a - a - a - x.pdf",
file-2 = "Constructive Completeness Proofs and Delimited Control - thesis-danko-ilik - a - a - a - x.pdf"
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
