A Standard Theory for the Pure Lambda-Value Calculus Álvaro García-Pérez Pablo Nogueira

First Page		Document Content
Date: 2016-05-31 07:48:41		A Standard Theory for the Pure Lambda-Value Calculus Álvaro García-Pérez Pablo Nogueira Add to Reading List Source URL: babel.ls.fi.upm.es Download Document from Source Website File Size: 449,15 KB Share Document on Facebook