Cite
MLA Citation
ÁLVARO GARCÍA-PÉREZ and PABLO NOGUEIRA. “The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus.” Journal of functional programming, vol. 29, 2019, p. . http://access.bl.uk/ark:/81055/vdc_100101983470.0x00001a