Login / Signup

A new correctness criterion for MLL proof nets.

Thomas Ehrhard
Published in: CSL-LICS (2014)
Keyphrases