Dependently Typed Grammars. - Kasper Brink; Stefan Holdermans; Andres Löh (MPC, 2010)

Large Formal Wikis: Issues and Solutions. - Jesse Alama; Kasper Brink; Lionel Mamane; Josef Urban (Calculemus/MKM, 2011)