@inproceedings{inproceedings, title = {{Linear Categorial Deduction via First-order Compilation.}}, publisher = {{INRIA}}, url = {{http://www.informatik.uni-trier.de/~ley/db/conf/tapd/tapd98.html }}, year = {{1998}}, month = {{1}}, author = {{Hepple M}}, journal = {{TAPD}}, pages = {{108-117}}, note = {{Accessed on 2025/07/04}}}