Applications of Plotkin-terms: partitions and morphisms for closed terms

Fulltext present in this item

Fulltext: 17267.pdf

Format: PDF

Description: preprint version

Title:	Applications of Plotkin-terms: partitions and morphisms for closed terms
Author(s):	Statman, R.; Barendregt, H.P.
Publication year:	1999
Source:	Journal of Functional Programming, vol. 9, iss. 5, (1999), pp. 565-575
ISSN:	0956-7968
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/17267
Display more details
Organization:	Foundations
Journal title:	Journal of Functional Programming
Volume:	vol. 9
Issue:	iss. 5
Page start:	p. 565
Page end:	p. 575
xmlui.dri2xhtml.METS-1.0.item-identifier-other::	13342
Languages used:	en

Academic publications [165090]
Academic output Radboud University
Electronic publications [74264]
Freely accessible full text publications plus those not yet available due to embargo
Faculty of Science [25734]
Open Access publications [47482]
Freely accessible full text publications