Roberto Virga

Publication Activity (10 Years)

Years Active: 1996-2003
Publications (10 Years): 0

Publications

Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga
A Trustworthy Proof Checker. J. Autom. Reason. 31 (3-4) (2003)
Amal J. Ahmed, Andrew W. Appel, Roberto Virga
A Stratified Semantics of General References A Stratified Semantics of General References. LICS (2002)
Roberto Virga
Efficient Substitution in Hoare Logic Expressions. Electron. Notes Theor. Comput. Sci. 41 (3) (2000)
Roberto Virga
Higher-Order Superposition for Dependent Types. RTA (1996)