List of publications

DokumenttypErscheinungsjahrTitelAutorenHerausgeber
doctoralThesis2019Mechanising syntax with binders in CoqStark, Kathrin
Welcome
Name:Stark, Kathrin
Faculty: -
Department: -
Professorship:-
Display style: