Prolog’s control constructs in a functional setting - Axioms and implementation (1992)

by R Hinze
Venue:International Journal of Foundations of Computer Science