A two-level logic approach to reasoning about computations

by Andrew Gacek , Dale Miller , Gopalan Nadathur
Citations:7 - 4 self