Christian Mossin
发表
Christian Mossin,
1998,
Nord. J. Comput..
Fritz Henglein,
Mads Tofte,
Christian Mossin,
1999,
POPL '99.
Fritz Henglein,
Christian Mossin,
Dirk Dussart,
1995,
SAS.
Fritz Henglein,
Mads Tofte,
Christian Mossin,
1999,
TLCA.
Christian Mossin,
C. Mossin,
1993,
PEPM '93.
Fritz Henglein,
Christian Mossin,
F. Henglein,
1994,
ESOP.
Christian Mossin,
C. Mossin,
1997,
Mathematical Structures in Computer Science.
Christian Mossin,
2003,
Math. Struct. Comput. Sci..
Philip Wadler,
Christian Mossin,
David N. Turner,
1995,
FPCA '95.
Christian Mossin,
C. Mossin,
1996,
Technical report / University of Copenhagen / Datalogisk institut.