Mark Hepple. Linear Categorial Deduction via First-order Compilation. In TAPD. pages 108-117, 1998. [doi]
@inproceedings{Hepple98:0,
title = {Linear Categorial Deduction via First-order Compilation},
author = {Mark Hepple},
year = {1998},
researchr = {https://researchr.org/publication/Hepple98%3A0},
cites = {0},
citedby = {0},
pages = {108-117},
booktitle = {TAPD},
}