BABEL - PDFSEARCH.IO - Document Search Engine

BABEL
Results: 712

#	Item
11	LATEX News Issue 19, September 2009 New LATEX release Babel Add to Reading List Source URL: www.latex-project.org - Date: 2016-08-08 13:00:04
12	Rule formats for bounded nondeterminism in Nominal SOS Álvaro García-Pérez (Joint work with Luca Aceto, Ignacio Fábregas and Anna Ingólfsdóttir.) Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2016-05-31 08:04:56
13	On Hopefully Intelligible Contributions to Seminar Series and Related Events (aka. This Talk on Kurt Gödel is not a Pearl of Computation) Álvaro García-Pérez Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2016-05-31 09:35:40
14	Deriving the Full-Reducing Krivine Machine from the Small-Step Operational Semantics of Normal Order Álvaro García-Pérez Pablo Nogueira Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2016-05-31 08:00:52
15	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
16	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
17	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
18	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
19	´ 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
20	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