Subnets of proof-nets in MLL-

Authors:
G. Bellin;J. van de Wiele
Affiliations:
-;-
Venue:
Proceedings of the workshop on Advances in linear logic
Year:
1995

Citing 0
Cited 4

Geometry of deduction via graphs of proofs

Logic for concurrency and synchronisation
Chu's construction: a proof-theoretic approach

Logic for concurrency and synchronisation
Two paradigms of logical computation in affine logic?

Logic for concurrency and synchronisation
Proof Nets for Herbrand’s Theorem

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract