A Semantic Completeness Proof for TaMeD.

Richard Bonichon, Olivier Hermant

Browse the full LPAR paper archive.