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

There is no fulltext present in this item.

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