Relational semantics for higher-order programs (2006)

Cached

Download Links

by Kamal Aboul-hosn , Dexter Kozen
Venue:Proc. 8th Int. Conf. Mathematics of Program Construction (MPC’06
Citations:3 - 2 self