Browse New Popular Keyword Cloud Advanced Search Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports

Hofmann, Martin

dcs.ed.ac.uk
Visit Site

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

Category
H
Visits
234
Added
Feb 6, 2025
Rating
(19)
Rate This Site
More in H Report
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
Halper, Nick 397 visits
Held, Martin 104 visits
Heiser, Gernot 62 visits
Henskens, Frans 21 visits
Get the best links delivered weekly — hand-picked from 1,200,810 resources