✦ LIBER ✦

Calculus of structures and proof-nets: (Abstract)

✍ Scribed by Jean-Baptiste Joinet

Book ID: 108498379
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 68 KB
Volume: 84
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80840-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An exact correspondence between a typed

An exact correspondence between a typed pi-calculus and polarised proof-nets

✍ Kohei Honda; Olivier Laurent 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 509 KB

Theλ-Calculus and the Unity of Structura

Theλ-Calculus and the Unity of Structural Proof Theory

✍ José Espírito Santo 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 594 KB

Neural net robot controller: Structure a

Neural net robot controller: Structure and stability proofs

✍ F. L. Lewis; A. Yeşildirek; K. Liu 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 1020 KB

[Lecture Notes in Computer Science] The

[Lecture Notes in Computer Science] The Logic of Categorial Grammars Volume 6850 || Lambek Calculus and Linear Logic: Proof Nets as Parse Structures

✍ Moot, Richard; Retoré, Christian 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 590 KB

Extensions of Conformal Nets¶and Superse

Extensions of Conformal Nets¶and Superselection Structures

✍ D. Guido; R. Longo; H.-W. Wiesbrock 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 303 KB

ChemInform Abstract: Inorganic Structure

ChemInform Abstract: Inorganic Structures and Nets in Metal-Organic Frameworks (MOF)

✍ Srinivasan Natarajan; Partha Mahata 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 15 KB 👁 1 views

## Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable v