Publication View

Applications of Plotkin-terms: partitions and morphisms for closed terms (1999)

Publication details

Repository	Repository Radboud Universiteit Nijmegen (Netherlands)
Type	Article
Language	Englisch