The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus

From MaRDI portal
Publication:4972064

DOI10.1017/S0956796819000017zbMath1493.68085OpenAlexW2943029224WikidataQ127959945 ScholiaQ127959945MaRDI QIDQ4972064

Álvaro García-Pérez, Pablo Nogueira

Publication date: 22 November 2019

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796819000017




Related Items (1)


Uses Software


Cites Work




This page was built for publication: The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus