Proof nets, garbage, and computations

Stefano Guerrini, Simone Martini, Andrea Masini. Proof nets, garbage, and computations. Theoretical Computer Science, 253(2):185-237, 2001. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.