Dependently Typed Grammars.

Kasper Brink, Stefan Holdermans, Andres Lh

Browse the full MPC paper archive.