1
0
0
News
Netzwerk-Profile
P. Curien | Semantic Scholar
www.semanticscholar.org
Semantic Scholar profile for P. Curien, with 340 highly influential citations and 124 scientific research papers.
Ausbildung
Process Semantics of Graph Reduction 1 Introduction
www.ki.informatik.uni-frankfurt.de
The authors would like to thank Tony Davie and John Glauert for numerous helpful discussions. Gerald Ostheimer was supported by SERC grant GR-H 'Compiler Technology for Scalable. Distributed Multiprocessor Architectures'. References. [1] M. Abadi, L. Cardelli, P. Curien, and J.J.Levy. Explicit substitutions.
Bücher
Aller et venir: mythe et histoire - Flora Blanchon - Google Books
books.google.de
... p. van Crevel Maghiel, Language Shattered, Contemporary Chinese Pœtry and Duoduo, Leiden, Research School, CNWS.1996, 349 p. Curien Annie (éd.) ...
Géopolitique de l'insertion des TIC: épistémologie de la géographie...
books.google.de
A l’aube du XXIe siècle, le monde a vu l’avènement de la société de l’information. L’Afrique a ainsi vu se multiplier depuis les années quatre-vingt-dix les...
Research Directions in Parallel Functional Programming - Google Books
books.google.de
G. Cousineau, P. Curien, and M. Mauny. The Categorial Abstract Machine. Science of Computer Programming, 8:173–202, G. Cousineau and M. Mauny.
The Compiler Design Handbook: Optimizations and Machine Code...
books.google.com.tr
The widespread use of object-oriented languages and Internet security concerns are just the beginning. Add embedded systems, multiple memory banks, highly...
Sonstiges
M. Abadi, L. Cardelli, P. Curien, and J. Lévy, Abstract, Journal of ...
hal.inria.fr
M. Abadi, L. Cardelli, P. Curien, and J. Lévy, Abstract, Journal of Functional Programming, vol.34, issue.04, pp , DOI : (86) S. Abramsky and R. Jagadeesan, Abstract, The Journal of Symbolic Logic, vol.417, issue.02, pp , DOI : BF S. Abramsky and ...
Persons in the Photo Database
owpdb.mfo.de
Persons in the Photo Database. A; B; C. Cadman, Paul; Cahn, Robert; Cai, Difeng; Cai, Du-Yong; ... Curbera, Guillermo P. Curien, Nicolas; Curran, Stephen ...
70 km : 1 - Vosges Matinwww.vosgesmatin.fr › Sport › Sport lorrain
www.vosgesmatin.fr
· 70 km : 1. St. Chainel (Cross Team by G4), 3h11'56'' ; 2. W. Sonke, 3h13'55''; 3. P. Curien (Team Macadam's), 3h14'40'' ; 4.
Introduction to linear logic and ludics, part II | BibSonomy
www.bibsonomy.org
Lesezeichen und Publikationen teilen - in blau!
L'EGLISE SYRIENNE ORTHODOXE EN INDE - Missions Étrangères de...
missionsetrangeres.com
Au service des Eglises d'Asie et de l'océan Indien
Most cited authors in Computer Science [ResearchIndex; Steve...
pages.di.unipi.it
Listing of the most cited authors in Computer Science
Cyclisme - 21e Grand prix Enduiest (1re cat.). Julien Tomasi tout en...
www.estrepublicain.fr
Deuxième en 2015, le sprinteur du VCU Schwenheim s’est imposé au terme d’une échappée au long cours où il a été épaulé par le Nancéien Bruno Chardon et...
Verwandte Suchanfragen zu P. Curien
|
Personen Vorname Name "Curien" (8) |
sortiert nach Relevanz / Datum