Deriving the Full-Reducing Krivine Machine from the Small-Step Operational Semantics of Normal Order Álvaro García-Pérez Pablo Nogueira

First Page		Document Content
Date: 2016-05-31 08:00:52		Deriving the Full-Reducing Krivine Machine from the Small-Step Operational Semantics of Normal Order Álvaro García-Pérez Pablo Nogueira Add to Reading List Source URL: babel.ls.fi.upm.es Download Document from Source Website File Size: 472,97 KB Share Document on Facebook