ARGOMENTO: BOOKS > INFORMATICA > PROGRAMMAZIONE > LINGUAGGI

Semantics and Logics of Computation

Name: Semantics and Logics of Computation
Price: 52,23 € EUR
Availability: InStock
Author: Pitts Andrew M. (Curatore); Dybjer P. (Curatore)
ISBN: 9780521118460

pitts andrew m. (curatore); dybjer p. (curatore)

Attenzione: Causa chiusura distributori, la spedizione di questo libro potrà avvenire a partire dal 13 gennaio 2025.

PREZZO
54,98 €

NICEPRICE
52,23 €

SCONTO
5%

Acquista

Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.

Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente

Dettagli

Genere:Libro

Lingua: Inglese

Editore:

Cambridge University Press

Pubblicazione: 08/2009

Note Editore

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.

Sommario

List of contributors; Preface; 1. Semantics of interaction: an introduction to game semantics Samson Abramsky; 2. Computational content of classical logic Thierry Coquand; 3. Syntax and semantics of dependent types Martin Hofmann; 4. Game semantics Martin Hyland; 5. Metalanguages and applications Eugenio Moggi; 6. Operationally-based theories of program equivalence Andrew Pitts; 7. Categories in concurrency Glynn Winskel and Mogens Nielsen; Index.

Prefazione

This book presents 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. They have been edited to form a coherent introduction to these topics.

Autore

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

Altre Informazioni

ISBN:

9780521118460

Condizione: Nuovo

Collana: Publications of the Newton Institute

Dimensioni: 229 x 21 x 152 mm Ø 550 gr

Formato: Brossura

Pagine Arabe: 376

Dicono di noi

Per noi la tua privacy è importante

Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.

Impostazioni cookie

Rifiuta Tutti i cookie

Accetto tutti i cookie

Ricerche più comuni

Collegamenti Rapidi