|
Up
|
|
|
|
|
agda-implementation/
|
— |
|
|
|
presentation/
|
— |
|
|
|
call-by-name-lambda-machine_Krivine.pdf
|
|
|
|
|
call-by-name-lambda-machine_Krivine_dk.pdf
|
|
|
|
|
call-by-name-lambda-machine_notes.pdf
|
|
|
|
|
context-sensitive-calculi-machines_Olivier.pdf
|
|
|
|
|
context-sensitive-calculi-machines_Olivier_dk.pdf
|
|
|
|
|
derived-krivine-machine-agda_Swierstra.pdf
|
|
|
|
|
derived-krivine-machine-agda_Swierstra_dk.pdf
|
|
|
|
|
evaluators-abstract-machines_Olivier.pdf
|
|
|
|