Relational Semantics for Higher-Order Functional Programs

Cached

Download Links

by Kamal Aboul-Hosn , Dexter Kozen
Citations:1 - 1 self