Login / Signup

Proof nets, garbage, and computations.

Stefano GuerriniSimone MartiniAndrea Masini
Published in: Theor. Comput. Sci. (2001)
Keyphrases