𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A bordism-type description of homology

✍ Scribed by Martin Jakob

Book ID
105924051
Publisher
Springer
Year
1998
Tongue
English
Weight
222 KB
Volume
96
Category
Article
ISSN
0025-2611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Bordism groups of fold maps
Bordism groups of fold maps
✍ A. SzΕ±cs; T. Terpai πŸ“‚ Article πŸ“… 2009 πŸ› Akadmiai Kiad 🌐 English βš– 390 KB
A Type-theoretic Description of Action C
A Type-theoretic Description of Action Calculi
✍ Philippa Gardner πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 32 KB

Action calculi, introduced by Milner, provide a framework for investigating models of interaction. This talk will focus on the connection between action calculi and known concepts arising from type theory. The aim of this work is to isolate what is distinctive about action calculi, and to investigat