Ebook > Scienza > Tecnica > Claudia Casadio & Bob Coecke: Categories and Types in Logic, Language, and Physics (PDF)

Claudia Casadio & Bob Coecke
Categories and Types in Logic, Language, and Physics [PDF ebook]
Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday

Supporto

Copertina di Claudia Casadio & Bob Coecke: Categories and Types in Logic, Language, and Physics (PDF)

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.

€57.37

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato PDF ● ISBN 9783642547898 ● Editore Claudia Casadio & Bob Coecke ● Casa editrice Springer Berlin Heidelberg ● Pubblicato 2014 ● Scaricabile 3 volte ● Moneta EUR ● ID 6379616 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Claudia Casadio Bob Coecke Michael Moortgat Philip Scott

95.489 Ebook in questa categoria

Copertina di Celine McKeown: Office Ergonomics

Celine McKeown: Office Ergonomics

Moving from theory to practical reality, this book tackles both simple and complex issues, demonstrating how to create offices that accommodate all workers. It contains practical advice on how to …

Copertina di Lila Bozgeyikli & Ren Bozgeyikli: Virtual Reality

Lila Bozgeyikli & Ren Bozgeyikli: Virtual Reality

Although the emergence of virtual reality (VR) goes back to the 1960s, with the recent availability of low-cost and high-accuracy systems it has become increasingly prevalent in a wide variety of are …

Copertina di Ankur (Arizona State University) Chowdhary & Dijiang (Arizona State University, Tempe, USA) Huang: Software-Defined Networking and Security

Ankur (Arizona State University) Chowdhary & Dijiang (Arizona State University, Tempe, USA) Huang: Software-Defined Networking and Security

This book provides readers insights into cyber maneuvering or adaptive and intelligent cyber defense. It describes the required models and security supporting functions that enable the analysis of po …

Copertina di Salomone: What Every Engineer Should Know about Concurrent Engineering

Salomone: What Every Engineer Should Know about Concurrent Engineering

This work offers a step-by-step approach to the overall concurrent engineering (CE) development process, presenting both fundamental principles and advanced concepts, while focusing on rapid product …

Copertina di Antonella D'Alessandro & Annibale Luigi Materazzi: Nanotechnology in Cement-Based Construction

Antonella D’Alessandro & Annibale Luigi Materazzi: Nanotechnology in Cement-Based Construction

Many books on new smart materials are available, but specialized analysis of particular topics is still in high demand. This multiauthor book focuses on applying nanotechnology to cement-based materi …

Copertina di E. S. Oxner: Fet Technology and Application

E. S. Oxner: Fet Technology and Application

This book provides the reader with some insights into the many styles of field effect transistors (FETs) being used. It offers a rudimentary understanding of their operation and performance. The book …

Copertina di Xianhua (Southeast University, China) Chen & Markus (RWTH Aachen University, Germany) Oeser: Functional Pavements

Xianhua (Southeast University, China) Chen & Markus (RWTH Aachen University, Germany) Oeser: Functional Pavements

Functional Pavements is a collection of papers presented at the 6th Chinese-European Workshop (CEW) on Functional Pavement Design (Nanjing, China, October 18-21, 2020). The focus of the CEW series is …

Copertina di Nicholas P. Cheremisinoff & Louise Ferrante: Practical Statistics for Engineers and Scientists

Nicholas P. Cheremisinoff & Louise Ferrante: Practical Statistics for Engineers and Scientists

This book provides direction in constructing regression routines that can be used with worksheet software on personal computers. The book lists useful references for those readers who desire more …

Copertina di Jyoti Kumar Sinha: Industrial Approaches in Vibration-Based Condition Monitoring

Jyoti Kumar Sinha: Industrial Approaches in Vibration-Based Condition Monitoring

Vibration-based condition monitoring (VCM) is a well-accepted approach in industries for early detection of any defect, thereby triggering the maintenance process and ultimately reducing overheads an …

Copertina di V. K. Jain: Advanced Machining Science

V. K. Jain: Advanced Machining Science

As machining processes become more advanced, so does the science behind them. This book emphasizes these scientific developments in addition to the more widely covered technological aspects, providin …

Pagina successiva >>>