Full Abstraction for Idealized Algol with Passive Expressions (1998)

Cached

Download Links

by Samson Abramsky , Guy Mccusker
Citations:34 - 7 self