The top documents tagged [equivalence of proof]
Glue Semantics for Proof Theorists
451 views