"No solvable lambda-value term left behind."

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

Details and statistics

DOI: 10.2168/LMCS-12(2:12)2016

access: open

type: Journal Article

metadata version: 2020-06-25