TY  - CONF

T1  - Linear Categorial Deduction via First-order Compilation.

JO  - TAPD

UR  - http://www.informatik.uni-trier.de/~ley/db/conf/tapd/tapd98.html

PY  - 1998/01/01

AU  - Hepple M

ED  - 

PB  - INRIA

SP  - 108

EP  - 117

Y2  - 2024/09/20

ER  -