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