Bar recursion versus polymorphism : extended abstract

DSpace/Manakin Repository

Bar recursion versus polymorphism : extended abstract
 
Barendsen, E.; Bezem, M.A.
(1991) Logic Group Preprint Series, volume 69
(Research paper)
Download/Full Text
Open Access version via Utrecht University Repository Publisher version
 
 
 
See more statistics about this item