Axioms for Strict and Lazy Functional Programs

Cached

Download Links

by Robert F. Stärk
Venue:Annals of Pure and Applied Logic
Citations:1 - 0 self