Fulya Horozal, Florian Rabe. Representing Model Theory in a Type-Theoretical Logical Framework. Electronic Notes in Theoretical Computer Science, 256:49-65, 2009. [doi]
@article{HorozalR09, title = {Representing Model Theory in a Type-Theoretical Logical Framework}, author = {Fulya Horozal and Florian Rabe}, year = {2009}, doi = {10.1016/j.entcs.2009.11.005}, url = {http://dx.doi.org/10.1016/j.entcs.2009.11.005}, tags = {type theory}, researchr = {https://researchr.org/publication/HorozalR09}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {256}, pages = {49-65}, }