Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Maarten M. Fokkinga

Library Home || Full Table of Contents || Library Help

Visit this site: http://wwwhome.cs.utwente.nl/~fokkinga/

Description: 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.

Levels: College, Research
Languages: English
Resource Types: Editors/Typesetting
Math Topics: Category Theory/Homological Algebra, Computer Science

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.