Full Abstraction for Idealized Algol with Passive Expressions (1998)

Cached

Download Links

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