TY - CONF T1 - Hybrid Categorial Logics. JO - Log. J. IGPL PY - 1995/06/01 AU - Hepple M ED - DO - DOI: 10.1093/jigpal/3.2-3.343 VL - 3 SP - 343 EP - 355 Y2 - 2025/11/18 ER -