Action Semantics Reasoning About Functional Programs (1996)

Cached

Download Links

by S.B. Lassen
Venue:Mathematical Structures in Computer Science
Citations:5 - 2 self