Fingerprint
Dive into the research topics of 'A two-level logic approach to reasoning about computations'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A two-level logic approach to reasoning about computations
Andrew Gacek, Dale Miller, Gopalan Nadathur
Research output: Contribution to journal › Article › peer-review
39
Scopus
citations