Semantics and Logics of Computation pdf epub mobi txt 電子書下載2025

簡體網頁||繁體網頁

☆☆☆☆☆

出版者:Cambridge University Press

作者:Pitts, Andrew M. (EDT)/ Dybjer, Peter (EDT)

出品人:

頁數:376

译者:

出版時間:2009-8

價格:$ 63.28

裝幀:

isbn號碼:9780521118460

叢書系列:Publications of the Newton Institute

圖書標籤:

計算語義學
計算邏輯
程序語義學
lambda演算
類型論
形式語義學
邏輯學
計算機科學
理論計算機科學
編程語言理論

下載連結在頁面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製連結

想要找書就要到小美書屋

book.quotespace.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

具體描述

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.

著者簡介

Edited by Andrew M. Pitts, University of Cambridge , P. Dybjer, Chalmers University of Technology, Gothenberg

圖書目錄

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.
· · · · · · (收起)