1. Home
  2. Computer
  3. Computer Science
  4. Hofmann, Martin

Computer · Computer Science

Hofmann, Martin

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Share

About Hofmann, Martin

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

Tags

C

Where it sits

Computer Computer Science

More in Computer Science

See all →