Order-enriched categorical models of the classical sequent calculus

By Carsten Führmann, D. Pym. 2006

51 citations recorded by the source corpus.

Subfields: Artificial Intelligence

View Paper: https://www.semanticscholar.org/paper/7b5a912b556fe8e83c536618f4bfd12bbe8e4188