Diskussion:Martin Hofmann (Informatiker)
Letzter Kommentar: vor 6 Jahren von MichaelSchoenitzer in Abschnitt Major Type Theory Works
Sohn von Informatik-Professor Fridolin Hofmann (1934-2015)?
BearbeitenIst / war Martin Hofmann der Sohn des Erlanger Informatik-Professors Fridolin Hofmann? https://www4.cs.fau.de/DE/~fhofmann/ -Turan MUC (Diskussion)-
Major Type Theory Works
BearbeitenIt would be nice to have some specific reference on here to works of Prof. Hofmann. I don't have the German skills to add them, though.
For instance:
Hofmann, M., & Streicher, T. (1998). The groupoid interpretation of type theory. Twenty-five years of constructive type theory (Venice, 1995), 36, 83-111.
Hofmann, M. (1997). Syntax and semantics of dependent types. In Extensional Constructs in Intensional Type Theory (pp. 13-54). Springer, London. (nicht signierter Beitrag von Zekelayla (Diskussion | Beiträge) )
- One could add them under a section "Werke (Auswahl)" – but therefore we'd need a somewhat representive list of his most important reserche litature. If you can provide this I can add it. (Don't know if those two works are already engough). -- Michi 14:25, 6. Mai 2018 (CEST)