Maarten M. Fokkinga
Library Home || Full Table of Contents || 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- The Math Forum at NCTM. All rights reserved.