Full Abstraction for the Second Order Subset of an ALGOL-like Language (1994)

Cached

Download Links

by Kurt Sieber
Venue:MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE
Citations:14 - 0 self