GitHub - wkrozowski/CEK-from-lambda-p-hat: Agda developement of my BSc thesis "Formally verified derivation of an executable and terminating CEK machine from call-by-value λp̂-calculus"

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
cek.agda		cek.agda
icfp21src-paper1.pdf		icfp21src-paper1.pdf

About

Agda developement of my BSc thesis "Formally verified derivation of an executable and terminating CEK machine from call-by-value λp̂-calculus"

No releases published