Polymorphic extensions of simple type structures. With an application to a bar recursive minimization

Fulltext present in this item

Fulltext: 28027.pdf

Format: PDF

Description: publisher's version

Title:	Polymorphic extensions of simple type structures. With an application to a bar recursive minimization
Author(s):	Barendsen, E. ; Bezem, M.
Publication year:	1996
Source:	Annals of Pure and Applied Logic, vol. 79, iss. 3, (1996), pp. 221-280
Publisher:	Elsevier science bv
ISSN:	0168-0072
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/28027
Display more details
Organization:	Foundations
Journal title:	Annals of Pure and Applied Logic
Volume:	vol. 79
Issue:	iss. 3
Page start:	p. 221
Page end:	p. 280
Languages used:	en

Open Access publications [55384]
Freely accessible full text publications
Electronic publications [85196]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [186162]
Academic output Radboud University
Faculty of Science [28589]