Zoekresultaten
Resultaat 1 - 4 (van 4)
Wim Veldman | Marc Bezem Ramsey's theorem and the pigeonhole principle in intuitionistic mathematics
Non-fictie
Engels | Department of Philosophy, University of Utrecht, Utrecht | 1991
Gedrukt boek
Marc Bezem Strong termination of logic programs
Non-fictie
Engels | 15 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1991
Gedrukt boek
Marc Bezem Impredicative recursion
terms depending on order types; (extended abstract)
Non-fictie
Engels | Department of Philosophy, University of Utrecht, Utrecht | 1991
Gedrukt boek
Erik Barendsen | Marc Bezem Bar recursion versus polymorphism
extended abstract
Non-fictie
Engels | Department of Philosophy, University of Utrecht, Utrecht | 1991
Gedrukt boek