Carsten Schuermann

发表

A Computational Meta Logic for the Horn Fragment of LF.

Carsten Schuermann, Carsten Schuermann, 1995 .

Twelf User''s Guide

Frank Pfenning, Carsten Schuermann, F. Pfenning, 2002 .

Functional programming with logical frameworks

Adam Poswolsky, Carsten Schuermann, Mr. sc. Mirza Hebib, 2008 .

Twelf User's Guide Version 1.2.,

Frank Pfenning, Carsten Schuermann, 1998 .