![](https://www.pdfsearch.io/img/518ad387eb3954344f4a57b2972685cc.jpg) Date: 2016-05-31 07:48:41
| | A Standard Theory for the Pure Lambda-Value Calculus Álvaro García-Pérez Pablo NogueiraAdd to Reading ListSource URL: babel.ls.fi.upm.esDownload Document from Source Website File Size: 449,15 KBShare Document on Facebook
|