Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
From Math to Machine A formal derivation of an executable Krivine Machine Wouter Swierstra Brouwer Seminar Friday, October 7, 2011
Add to Reading List
Document Date: 2016-03-22 06:34:53
Open Document
File Size: 488,79 KB
Share Result on Facebook
UPDATE
From Math to Machine A formal derivation of an executable Krivine Machine Wouter Swierstra Brouwer Seminar Friday, October 7, 2011