Kasper Brink

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban
Large Formal Wikis: Issues and Solutions. Calculemus/MKM (2011)
Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban
Large Formal Wikis: Issues and Solutions CoRR (2011)
Kasper Brink, Stefan Holdermans, Andres Löh
Dependently Typed Grammars. MPC (2010)