%0 Conference Paper %1 conf/mpc/BrinkHL10 %A Brink, Kasper %A Holdermans, Stefan %A Löh, Andres %B MPC %D 2010 %E Bolduc, Claude %E Desharnais, Josée %E Ktari, Béchir %I Springer %K dblp %P 58-79 %T Dependently Typed Grammars. %U http://dblp.uni-trier.de/db/conf/mpc/mpc2010.html#BrinkHL10 %V 6120 %@ 978-3-642-13320-6

@inproceedings{conf/mpc/BrinkHL10, added-at = {2020-10-25T00:00:00.000+0200}, author = {Brink, Kasper and Holdermans, Stefan and Löh, Andres}, biburl = {https://www.bibsonomy.org/bibtex/2917a6da837323234bd7a2fbeb6181a03/dblp}, booktitle = {MPC}, crossref = {conf/mpc/2010}, editor = {Bolduc, Claude and Desharnais, Josée and Ktari, Béchir}, ee = {https://doi.org/10.1007/978-3-642-13321-3_6}, interhash = {c507e20fa5fcb0f1e20199d436e15b8b}, intrahash = {917a6da837323234bd7a2fbeb6181a03}, isbn = {978-3-642-13320-6}, keywords = {dblp}, pages = {58-79}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:14:23.000+0200}, title = {Dependently Typed Grammars.}, url = {http://dblp.uni-trier.de/db/conf/mpc/mpc2010.html#BrinkHL10}, volume = 6120, year = 2010 }