TY  - CONF

T1  - Hybrid Categorial Logics.

JO  - Log. J. IGPL

PY  - 1995/01/01

AU  - Hepple M

ED  - 

VL  - 3

SP  - 343

EP  - 355

Y2  - 2024/12/22

ER  -