Login / Signup

Monadic translation of classical sequent calculus.

José Espírito SantoRalph MatthesKoji NakazawaLuís Pinto
Published in: Math. Struct. Comput. Sci. (2013)
Keyphrases