Radboud Repository
Radboud Repository
→
Collections Radboud University
→
Academic publications
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
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
This item appears in the following Collection(s)
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]
Search Repository
Search Repository
This Collection
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics