Twan Laan, Michael Franssen. Embedding First-order Logic in a Pure Type System with Parameters. Journal of Logic and Computation, 11(4):545-557, 2001. [doi]
@article{LaanF01,
title = {Embedding First-order Logic in a Pure Type System with Parameters},
author = {Twan Laan and Michael Franssen},
year = {2001},
url = {http://www3.oup.co.uk/logcom/hdb/Volume_11/Issue_04/110545.sgm.abs.html},
tags = {type system, logic},
researchr = {https://researchr.org/publication/LaanF01},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {11},
number = {4},
pages = {545-557},
}