CITATION STYLE
Jojgov, G. I. (2006). Translating a fragment of weak type theory into type theory with open terms. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3863 LNAI, pp. 389–403). https://doi.org/10.1007/11618027_26
Mendeley helps you to discover research relevant for your work.