M. Hofmann
发表
Stephen Gilmore,
Ian Stark,
Martin Hofmann,
2004,
CASSIS.
M. Hofmann,
Lennart Beringer,
A. Momigliano,
2004
.
Ute Schmid,
Martin Hofmann,
Andreas Hirschberger,
2006
.
Martin Hofmann,
Klaus Aehlig,
Jan Hoffmann,
2011,
POPL '11.
Martin Hofmann,
Steffen Jost,
M. Hofmann,
2003,
POPL '03.
Ute Schmid,
Martin Hofmann,
Emanuel Kitzelmann,
2009,
AAIP.
Martin Hofmann,
M. Hofmann,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Martin Hofmann,
Steffen Jost,
M. Hofmann,
2003,
POPL '03.
Martin Hofmann,
Benjamin C. Pierce,
Daniel Wagner,
2011,
POPL '11.
M. Hofmann,
1995
.
M. Hofmann,
H. Ruess,
Christian Neukirchen,
2016
.
M. Hofmann,
T. Streicher,
1998
.
Martin Hofmann,
M. Hofmann,
1999
.
Martin Hofmann,
M. Hofmann,
Ludwig-Maximilians-Univesität München,
2013
.
Martin Hofmann,
M. Hofmann,
2007
.
Martin Hofmann,
Hans-Wolfgang Loidl,
Norman Scaife,
2009
.
B. Pierce,
M. Hofmann,
Daniel Wagner,
2013
.
B. Pierce,
M. Hofmann,
Daniel Wagner,
2013
.
Andrew M. Wallace,
Roy Dyckhoff,
Hans-Wolfgang Loidl,
2006
.
M. Hofmann,
2016
.
Nils Anders Danielsson,
Tiago L. Alves,
Brett Gordon Giles,
2002
.
M. Hofmann,
Andreas Hirschberger,
2006
.
M. Hofmann,
S. Bauer,
Lmu Munich,
2015
.
M. Hofmann,
Ute Schmid,
E. Kitzelmann,
2009
.
D. Aspinall,
S. Gilmore,
M. Hofmann,
2017
.
M. Hofmann,
J. Ledent,
2021,
Mathematical Structures in Computer Science.
Erik Poll,
Lennart Beringer,
Martin Hofmann,
2008
.
Martin Hofmann,
Martin Wirsing,
Axel Rauschmayer,
2010
.
Stephen Gilmore,
Hans-Wolfgang Loidl,
Donald Sannella,
2007
.
M. Hofmann,
Lennart Beringer,
A. Momigliano,
2017
.
D. Aspinall,
S. Gilmore,
M. Hofmann,
2005
.
D. Aspinall,
S. Gilmore,
M. Hofmann,
2005
.
Martin Hofmann,
Benjamin C. Pierce,
Daniel Wagner,
2013,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Martin Hofmann,
Benjamin C. Pierce,
B. Pierce,
1994,
Journal of Functional Programming.
D. Aspinall,
M. Hofmann,
2000
.
Nick Benton,
Martin Hofmann,
Greg Morrisett,
2008,
Types, Logics and Semantics for State.
Martin Hofmann,
M. Hofmann,
2008
.
Martin Hofmann,
Thorsten Altenkirch,
Thomas Streicher,
1995,
Category Theory and Computer Science.
Martin Hofmann,
Matthias Felleisen,
M. Hofmann,
2007,
POPL.
Martin Hofmann,
Hans-Wolfgang Loidl,
Lennart Beringer,
2003
.
M. Hofmann,
I. Stark,
Lennart Beringer,
2017
.
Martin Hofmann,
Lars Birkedal,
Nick Benton,
2010
.
Martin Hofmann,
Roy Dyckhoff,
Greg J. Michaelson,
2005,
Trends in Functional Programming.
Martin Hofmann,
M. Hofmann,
2011
.
Martin Hofmann,
Stephen Gilmore,
Kenneth MacKenzie,
2005,
Trends in Functional Programming.
M. Hofmann,
2007
.
Stephen Gilmore,
Hans-Wolfgang Loidl,
Donald Sannella,
2005
.
Martin Hofmann,
Jan Hoffmann,
M. Hofmann,
2010,
APLAS.
Martin Hofmann,
M. Hofmann,
1995,
Mathematical Structures in Computer Science.
Martin Hofmann,
Nick Benton,
Andrew Kennedy,
2009,
PPDP '09.
Martin Hofmann,
Sabine Bauer,
M. Hofmann,
2017
.
Martin Hofmann,
M. Hofmann,
2002,
POPL '02.
Martin Hofmann,
M. Hofmann,
2001,
MFCS.
M. Hofmann,
2000,
Nord. J. Comput..
Martin Hofmann,
Georg Moser,
M. Hofmann,
2014,
ArXiv.
Martin Hofmann,
Benjamin C. Pierce,
B. Pierce,
1995,
POPL '95.
Martin Hofmann,
Benjamin C. Pierce,
B. Pierce,
1994,
Journal of Functional Programming.
Martin Hofmann,
Wei Chen,
M. Hofmann,
2014,
CSL-LICS.
Martin Hofmann,
Wei Chen,
M. Hofmann,
2013,
ArXiv.
Martin Hofmann,
Donald Sannella,
M. Hofmann,
1995,
Theor. Comput. Sci..
Martin Hofmann,
Donald Sannella,
M. Hofmann,
1995,
TAPSOFT.
Ute Schmid,
Martin Hofmann,
Florian Bader,
2010,
IEA/AIE.
Martin Hofmann,
Nick Benton,
Andrew Kennedy,
2016,
A List of Successes That Can Change the World.
Martin Hofmann,
Georg Moser,
M. Hofmann,
2014,
RTA-TLCA.
Martin Hofmann,
Martin Steffen,
Wolfgang Naraschewski,
1998,
Theory Pract. Object Syst..
Martin Hofmann,
Lennart Beringer,
Mariela Pavlova,
2008,
FMCO.
Martin Hofmann,
M. Hofmann,
1997
.
Martin Hofmann,
Christian Dax,
Martin Lange,
2006,
FSTTCS.
Martin Hofmann,
Nick Benton,
Vivek Nigam,
2015,
PPDP.
Martin Hofmann,
Ulrich Schöpp,
Ramyaa,
2013,
FoSSaCS.
Martin Hofmann,
Ugo Dal Lago,
M. Hofmann,
2009,
TLCA.
Ute Schmid,
Martin Hofmann,
Emanuel Kitzelmann,
2009
.
Martin Hofmann,
Georg Moser,
M. Hofmann,
2015,
TLCA.
M. Hofmann,
1997
.
Martin Hofmann,
M. Hofmann,
2010,
PEPM '10.
Martin Hofmann,
Emanuel Kitzelmann,
M. Hofmann,
2010,
PEPM '10.
Ute Schmid,
Martin Hofmann,
Emanuel Kitzelmann,
2009
.
Ute Schmid,
Martin Hofmann,
Emanuel Kitzelmann,
2008,
KI.
Martin Hofmann,
Francis Tang,
M. Hofmann,
2000,
TPHOLs.
Martin Hofmann,
Lennart Beringer,
M. Hofmann,
2007,
20th IEEE Computer Security Foundations Symposium (CSF'07).
M. Hofmann,
Florian Zuleger,
Lorenz Leutgeb,
2021,
Mathematical Structures in Computer Science.
Martin Hofmann,
Sabine Bauer,
M. Hofmann,
2018,
ArXiv.
Martin Hofmann,
M. Hofmann,
1995,
TYPES.
Martin Hofmann,
M. Hofmann,
1995,
TLCA.
Martin Hofmann,
M. Hofmann,
1994,
CSL.
Martin Hofmann,
Thomas Streicher,
M. Hofmann,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Martin Hofmann,
M. Hofmann,
1994,
TYPES.
M. Hofmann,
1995
.
Martin Hofmann,
Murdoch James Gabbay,
M. Hofmann,
2008,
LPAR.
Martin Hofmann,
Ugo Dal Lago,
M. Hofmann,
2011,
Theor. Comput. Sci..
Martin Hofmann,
Ugo Dal Lago,
M. Hofmann,
2009,
Theory of Computing Systems.
Martin Hofmann,
Christoph Senjak,
M. Hofmann,
2016,
FM.
Martin Hofmann,
Robert Grabowski,
Keqin Li,
2011,
Formal Aspects in Security and Trust.
Martin Hofmann,
Thomas Streicher,
Martín Hötzel Escardó,
2004,
Mathematical Structures in Computer Science.
Martin Hofmann,
Helmut Seidl,
Aleksandr Karbyshev,
2010,
ICALP.
Martin Hofmann,
M. Hofmann,
1997,
CPHC/BCS Distinguished Dissertations.
Martin Hofmann,
Thierry Coquand,
M. Hofmann,
1999,
Mathematical Structures in Computer Science.
Martin Hofmann,
Hans-Wolfgang Loidl,
Steffen Jost,
2010,
POPL '10.
Martin Hofmann,
Richard Garner,
Pierre-Louis Curien,
2014,
Theor. Comput. Sci..
Martin Hofmann,
M. Hofmann,
2015,
Software, Services, and Systems.
Nick Benton,
Vivek Nigam,
Martin Hofmann,
2014
.
Martin Hofmann,
Thomas Streicher,
M. Hofmann,
1997,
LICS 1997.
Martin Hofmann,
Hans-Wolfgang Loidl,
David Aspinall,
2007,
Theor. Comput. Sci..
M. Hofmann,
J. Ledent,
2020
.
Martin Hofmann,
Jérémy Ledent,
M. Hofmann,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Martin Hofmann,
M. Hofmann,
1997,
CSL.
Martin Hofmann,
Thorsten Altenkirch,
Peter Dybjer,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.