Categories and Types in Logic, Language, and Physics

Categories and Types in Logic, Language, and Physics
Author :
Publisher : Springer
Total Pages : 432
Release :
ISBN-10 : 9783642547898
ISBN-13 : 3642547893
Rating : 4/5 (893 Downloads)

Book Synopsis Categories and Types in Logic, Language, and Physics by : Claudia Casadio

Download or read book Categories and Types in Logic, Language, and Physics written by Claudia Casadio and published by Springer. This book was released on 2014-04-03 with total page 432 pages. Available in PDF, EPUB and Kindle. Book excerpt: For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the occasion of his 90th birthday. The papers in it give a good picture of the multiple research areas where the impact of Jim Lambek's work can be felt. The volume includes contributions by prominent researchers and by their students, showing how Jim Lambek's ideas keep inspiring upcoming generations of scholars.


Categories and Types in Logic, Language, and Physics Related Books

Categories and Types in Logic, Language, and Physics
Language: en
Pages: 432
Authors: Claudia Casadio
Categories: Mathematics
Type: BOOK - Published: 2014-04-03 - Publisher: Springer

DOWNLOAD EBOOK

For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics
Modern Perspectives in Type-Theoretical Semantics
Language: en
Pages: 297
Authors: Stergios Chatzikyriakidis
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2017-02-07 - Publisher: Springer

DOWNLOAD EBOOK

This book is a collective volume that reports the state of the art in the applications of type theory to linguistic semantics. The volume fills a 20 year gap fr
Categories for the Working Philosopher
Language: en
Pages: 486
Authors: Elaine M. Landry
Categories: Mathematics
Type: BOOK - Published: 2017 - Publisher: Oxford University Press

DOWNLOAD EBOOK

This is the first volume on category theory for a broad philosophical readership. It is designed to show the interest and significance of category theory for a
Introduction to Coalgebra
Language: en
Pages: 495
Authors: Bart Jacobs
Categories: Mathematics
Type: BOOK - Published: 2017 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

An accessible introduction to coalgebra, with clear mathematical explanations and numerous examples and exercises.
Samson Abramsky on Logic and Structure in Computer Science and Beyond
Language: en
Pages: 1149
Authors: Alessandra Palmigiano
Categories: Philosophy
Type: BOOK - Published: 2023-09-02 - Publisher: Springer Nature

DOWNLOAD EBOOK

Samson Abramsky’s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a ric