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

First Page	Meta Content
	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 Document Date: 2016-05-31 08:00:52 Open Document File Size: 472,97 KB Share Result on Facebook

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