scientific article
From MaRDI portal
Publication:2778827
zbMath0981.03515MaRDI QIDQ2778827
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2044/20440283
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (7)
The geometry of Bayesian programming ⋮ A correspondence between maximal abelian sub-algebras and linear logic fragments ⋮ Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach ⋮ Musings around the geometry of interaction, and coherence ⋮ Towards a geometry of recursion ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication:
