Publication:2778827
From MaRDI portal
zbMath0981.03515MaRDI QIDQ2778827
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2044/20440283
68Q45: Formal languages and automata
03B70: Logic in computer science
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Unnamed Item, A correspondence between maximal abelian sub-algebras and linear logic fragments, Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach, Unnamed Item, The geometry of Bayesian programming, Musings around the geometry of interaction, and coherence, Towards a geometry of recursion