Axioms for strict and lazy functional programs (0)

by R F Stärk
Venue:Annals of Pure and Applied Logic