|
Maarten M. Fokkinga

Library Home ||
Full Table of Contents ||
Suggest a Link ||
Library Help

| http://wwwhome.cs.utwente.nl/~fokkinga/ | |
|
|
|
| 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]


© 1994-2008 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Drexel School of Education.