1
0
0
(1 - 17 von 20
)
Daniele VaraccaCSAuthors
www.csauthors.net
Gian Luca Cattani. ,. Thomas T. Hildebrandt. ,. Daniele Varacca. Theor. Comput. Sci., Continuations, Processes, and Sharing.
AMS eBooks: Memoirs of the American Mathematical Society
www.ams.org
... https://doi.org (87) X; [19] Gian Luca Cattani and Glynn Winskel, Profunctors, open maps and bisimulation, Math.
Algebraic Methodology and Software Technology: 7th ...google.com
books.google.com
Gian Luca Cattani and I are working on how to understand open-map bisimulation at higher-order in operational terms [6]. References 1. S. Abramsky.
CONCUR '98 Concurrency Theory: 9th International Conference, ...google.com
books.google.com
... Mike Burrows , Nadia Busi , Denis Caromel , Paul Caspi , Gian Luca Cattani , Didier Caucal , Patrick Cegielski , Christian Choffrut , Rance Cleave- land ...
Linear Logic in Computer Sciencegoogle.com
books.google.com
Acknowledgements A good deal of the background for this work was developed with Gian Luca Cattani for his PhD Discussions with Martin Hyland and John Power ...
Thirty Five Years of Automating Mathematicsgoogle.com
books.google.com
Consistency of the theory of contexts, [Cattani and Sewell, 2000] Gian Luca Cattani and Peter Sewell. Models for namepassing processes: Interleaving ...
Thirty Five Years of Automating Mathematics - Google Books
books.google.de
THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding...
Models for Name-passing Processes: Interleaving and Causal ...
books.google.com
Gian Luca Cattani, Peter Sewell. University of Cambridge, Computer Laboratory, Computer multitasking pages. Gian Luca Cattani, Glynn Winskel. University of Cambridge, Computer Laboratory, Computer multitasking pages. Gian Luca Cattani, James J. Leifer, Robin Milner. University of Cambridge, Computer Laboratory, Calculus pages. › about
CONCUR '98 Concurrency Theory: 9th International Conference, Nice,...
books.google.de
This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September...
Computer Science Logic: 10th International Workshop, CSL '96, Annual...
books.google.de
The related fields of fractal image encoding and fractal image analysis have blossomed in recent years. This book, originating from a NATO Advanced Study...
Smart Development in Smart Communities
books.google.de
... BERTINI Smart city Issues and challenges for smart cities NICOLA DE LISO AND LUCA ZAMPARINI 5 Human capital and the new geography of jobs LUCA CATTANI, ...
Homicide House - Emanuele Aldrovandi - Google Books
books.google.de
Indebitato per problemi di lavoro, un uomo finisce vittima di un gioco al massacro riservato a facoltosi in cerca di emozioni forti. Un gioco che non lascia...
L'Almanacco del calciomercato Luca Talotta - Google Books
books.google.de
... Sportiva: Pietro Lo Monaco Direttore Sportivo: Luca Cattani Allenatore: Gian Piero Gasperini Dici Palermo e pensi subito a Maurizio Zamparini e agli esoneri.
L'isola del tesoro - Emanuele Aldrovandi - Google Books
books.google.de
Un grande classico della letteratura, riscritto da Emanuele Aldrovandi. Jim Hawkins, dopo aver ricevuto la mappa del tesoro dalle mani del pirata Billy Bones,...
Musicians' Mobilities and Music Migrations in Early Modern Europe
books.google.de
During the 17th and 18th century musicians' mobilities and migrations are essential for the European music history and the cultural exchange of music. Adopting...
Verwandte Suchanfragen zu Gian Luca Cattani
John Power Umberto Poli Jim Sorensen | Luigi Giorno |
Personen Vorname "Luca" (10642) Name "Cattani" (136) |
sortiert nach Relevanz / Datum