Vrijer [1996]. Completing partial combinatory algebras with unique head-normal forms (1996)

by p 57-74 I Bethke, J W Klop, R de
Venue:In: Proc. 11th Annual IEEE Symposium on Logic and Computer Science