A Stratified Semantics of General References Embeddable in Higher-Order Logic (Extended Abstract) (2002)

by Amal J. Ahmed , Andrew W. Appel , Roberto Virga
Citations:31 - 8 self

Document Versions

A Stratified Semantics of General References Embeddable in Higher-Order Logic (Extended Abstract) –Amal J. Ahmed, Andrew W. Appel, Roberto Virga — 2002