Publication View

Discriminating Coded Lambda Terms (1994)

Publication details

Publisher	CWI
Repository	Repository Radboud Universiteit Nijmegen (Netherlands)
Type	Article in monograph or in proceedings
Language	Englisch