EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: de Bakker, J.W.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

1981

Fokkinga, M.M. (1981) On the notion of strong typing. In: Algorithmic Languages, 26-29 Oct 1981, Amsterdam, The Netherlands. pp. 305-320. IFIP TC2, North-Holland. ISBN 0-444-86285-4

1975

Fokkinga, M.M. (1975) Recursieve procedures en eenvoudige inductie asserties. In: Colloquium Programmacorrectheid. Mathematical Centre Syllabus 21. Mathematical Centre, Amsterdam, The Netherlands, pp. 151-165. ISBN 90-6196-103-3

This list was generated on Sun Mar 19 22:33:57 CET 2017.