Implementing the Meta-Theory of Deductive Systems.

Frank Pfenning, Ekkehard Rohwedder

Browse the full CADE paper archive.