/msc/11_infomtpt/my-paper-presentation/

2 directories 8 files
Name Size Modified
agda-implementation
presentation
call-by-name-lambda-machine_Krivine.pdf 170 KiB
call-by-name-lambda-machine_Krivine_dk.pdf 942 KiB
call-by-name-lambda-machine_notes.pdf 5.5 MiB
context-sensitive-calculi-machines_Olivier.pdf 360 KiB
context-sensitive-calculi-machines_Olivier_dk.pdf 5.4 MiB
derived-krivine-machine-agda_Swierstra.pdf 118 KiB
derived-krivine-machine-agda_Swierstra_dk.pdf 1.6 MiB
evaluators-abstract-machines_Olivier.pdf 171 KiB