Logical Relations for Encryption (2002)

by Eijiro Sumii , Benjamin C. Pierce
Citations:40 - 2 self