Publication View

Discriminating coded lambda terms (2002)

Publication details

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