Lem: A Lightweight Tool for Heavyweight Semantics.

Scott Owens, Peter Bhm, Francesco Zappa Nardelli, Peter Sewell

Browse the full ITP paper archive.