A stratified semantics of general references embeddable in higher-order logic

Amal J. Ahmed, Andrew Wilson Appel, Roberto Virga

Research output: Contribution to journalConference articlepeer-review

29 Scopus citations

Fingerprint

Dive into the research topics of 'A stratified semantics of general references embeddable in higher-order logic'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science