The True Concurrency of Herbrand's Theorem.

Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel

Browse the full CSL paper archive.