Login / Signup

Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics.

Matteo Acclavio
Published in: J. Autom. Reason. (2019)
Keyphrases