Hofmann, Martin

Hofmann, Martin
All Links

Share this:

Details of Hofmann, Martin

About Hofmann, Martin
Hofmann, Martin- University of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.
C