UPM - PDFSEARCH.IO - Document Search Engine

UPM
Results: 1894

#	Item
181	Rule formats for bounded nondeterminism in structural operational semantics Luca Aceto Álvaro García-Pérez Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2016-05-31 08:08:10
182	Deriving Interpretations of the Gradually-Typed Lambda Calculus Álvaro García-Pérez Pablo Nogueira Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2016-05-31 08:02:48
183	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 - Date: 2016-05-31 07:48:41
184	Towards modular verification of consensus protocols Álvaro García Pérez IMDEA Software Institute, Madrid Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2018-01-15 12:22:36
185	´ UNIVERSIDAD POLITECNICA DE MADRID ´cnica Superior de Escuela Te Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2016-05-07 11:06:46
186	The Essence of Reynolds (title borrowed from POPL14’s session in honour of John C. Reynolds, by Stephen Brookes, Peter O’Hearn and Uday Reddy) Álvaro García-Pérez Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2016-05-31 09:31:40
187	Álvaro García Pérez Generado desde: Editor CVN de FECYT Fecha del documento: v 1.4.0 Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2018-01-16 09:42:28
188	Curriculum Vitae Name: E-mail: Phone (mobile): Homepage: Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2016-01-21 05:53:54
189	No solvable lambda-value term left behind Alvaro Garc´ıa P´ erez and Pablo Nogueira Reykjavik University Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2016-05-30 13:34:17
190	A Syntactic and Functional Correspondence between Reduction Semantics and Reduction-Free Full Normalisers ´ Alvaro Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2016-05-31 07:55:29

UPDATE