Date: 2016-03-22 06:34:53

From Math to Machine A formal derivation of an executable Krivine Machine Wouter Swierstra Brouwer Seminar Friday, October 7, 2011

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 488,79 KB