Patterns and Lax Lambda Laws for Relational and Imperative Programming

Cached

Download Links

by David A. Naumann
Venue:
Citations:1 - 1 self