Correctness Proof For the WAM with Types.

Christoph Beierle, Egon Brger

Browse the full CSL paper archive.