Elena Maringelli (maringelli)
Contributi a 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.