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