Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order.

lvaro Garca-Prez, Pablo Nogueira, Juan Jos Moreno-Navarro

Browse the full PPDP paper archive.