Zoekresultaten
Resultaat 1 - 2 (van 2)
E. Poll Some categorical properties for a model for second order lambda calculus with subtyping
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1991
Gedrukt boek
E. Poll Cpo-models for second order lambda calculus with recersive types and subtyping
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1991
Gedrukt boek