An extensional partial combinatory algebra based on -terms (1996)

by P P'erez
Venue:MFCS'91 Conference Proceedings,, Springer LNCS