@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 2024/12/25}}}