From Semantics to Rules: A Machine Assisted Analysis.

Catarina Coquand

Browse the full CSL paper archive.