@InProceedings{pientka:OASIcs.WPTE.2015.1,
author = {Pientka, Brigitte},
title = {{Mechanizing Meta-Theory in Beluga}},
booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)},
pages = {1--1},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-94-1},
ISSN = {2190-6807},
year = {2015},
volume = {46},
editor = {Chiba, Yuki and Escobar, Santiago and Nishida, Naoki and Sabel, David and Schmidt-Schau{\ss}, Manfred},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2015.1},
URN = {urn:nbn:de:0030-drops-51770},
doi = {10.4230/OASIcs.WPTE.2015.1},
annote = {Keywords: Type systems, Dependent Types, Logical Frameworks}
}