Maarten M. Fokkinga
Library Home || Full Table of Contents || Suggest a Link || Library Help
|A computer science professor at the University of Twente in the Netherlands. His main interests are or have been algorithmics, also known as the mathematics of program construction, functional programming, semantics of programming systems, and formal methods in general. Download a PostScript description and style files for a LaTeX interpretation of Miranda; also gzipped PostScript papers and some teaching information in Dutch.|
|Math Topics:||Category Theory/Homological Algebra, Computer Science|
© 1994-2014 Drexel University. All rights reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.