Pablo Nogueira

Registered user since Mon 13 Jul 2020

Name:Pablo Nogueira
Country:Spain
Affiliation:ESNE University School of Design, Innovation and Technology
Research interests:Functional programming and lambda calculus, logic in computer science

Contributions

ICFP 2020 Author of The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus within the ICFP Program-track