Elena Maringelli (maringelli)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Abrusci, V. Michele and Maringelli, Elena. 1998. “A New Correctness Criterion for Cyclic Proof Nets.” Journal of Logic, Language, and Information 7(4): 449–502.