Category Theory 1991: Proceedings of the 1991 Summer Category Theory Meeting, Montreal, Canada
Category Theory 1991: Proceedings of the 1991 Summer Category Theory Meeting, Montreal, Canada

Author: Robert Andrew George Seely

Publisher: American Mathematical Soc.

Published: 1992

Total Pages: 462

ISBN-13: 9780821860182

DOWNLOAD EBOOK

Representing this diversity of the field, this book contains the proceedings of an international conference on category theory. The subjects covered here range from topology and geometry to logic and theoretical computer science, from homotopy to braids and conformal field theory. Although generally aimed at experts in the various fields represented, the book will also provide an excellent opportunity for nonexperts to get a feel for the diversity of current applications of category theory.

Categorical Topology
Categorical Topology

Author: Eraldo Giuli

Publisher: Springer Science & Business Media

Published: 1996-06-30

Total Pages: 294

ISBN-13: 9780792340492

DOWNLOAD EBOOK

This volume contains selected papers presented at the International Workshop on Categorical Topology, held at the University of L'Aquila, L'Aquila, Italy from August 31 to September 4, 1994. The collection should be of interest to mathematicians whose work involves category theory.

Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications

Author: Samson Abramsky

Publisher: Springer

Published: 2003-06-29

Total Pages: 441

ISBN-13: 3540454136

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.

Papers on General Topology and Applications
Papers on General Topology and Applications

Author: Susan Andima

Publisher:

Published: 1993

Total Pages: 400

ISBN-13:

DOWNLOAD EBOOK

This work offers papers on general topology and its applications, including, but not limited to, indecomposable continua, semigroups, dynamical systems, Boolean algebras and categorical patterns. Many of the papers reflect the influence of Mary Ellen Rudin on their authors.

Embedded Software
Embedded Software

Author: Thomas A. Henzinger

Publisher: Springer

Published: 2003-06-30

Total Pages: 514

ISBN-13: 3540454497

DOWNLOAD EBOOK

With the omnipresence of micro devices in our daily lifes embedded software has gained tremendous importance in both science and industry. This volume contains 34 invited papers from the First International Workshop on Embedded Systems. They present latest research results from different areas of computer science that are traditionally distinct but relevant to embedded software development (such as, for example, component based design, functional programming, real-time Java, resource and storage allocation, verification). Each paper focuses on one topic, showing the inter-relationship and application to the design and implementation of embedded software systems.