Christian Mossin

发表

Christian Mossin, C. Mossin, 1997, Nord. J. Comput..

Fritz Henglein, Mads Tofte, Christian Mossin, 1999, POPL '99.

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.