Web Directory

    Top: Computers: Computer_Science: People: H:

 

Hofmann, Martin

  Link Details for: Hofmann, Martin
Link Title: Hofmann, Martin Open in a new window
Link URL: http://www.dcs.ed.ac.uk/home/mxh/
Link Details: University of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.
Category: Top : Computers : Computer_Science : People : H
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Hofmann, Martin