Articles liés à Semantics and Logics of Computation

Semantics and Logics of Computation - Couverture souple

Pitts, Andrew

 
9780521118460: Semantics and Logics of Computation
Couverture souple
ISBN 10 : 0521118468 ISBN 13 : 9780521118460
Editeur : Cambridge University Press, 2009

Synopsis

The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l'auteur

Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Cambridge University Press
Date d'édition
2009
Langue
anglais
ISBN 10 
0521118468
ISBN 13 
9780521118460
Reliure
Broché
Numéro d'édition
1
Nombre de pages
376
Coordonnées du fabricant
non disponible
Personne responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
France