• Refine your search:
  • 
    Keyword:
    
    • Sprache, Linguistik (3)
    • Typentheorie (2)
    • Applikative Grammatik (1)
    • Coercive subtyping (1)
    • Computerlinguistik (1)
    • Constraint-based linguistics (1)
    • Davidson semantics (1)
    • Definite clause grammar (1)
    • Dependent types (1)
    • Event quantification problem (1)
    •   more
  • 
    Creator / Publisher:
    
    • Luo, Zhaohui (10)
    • Chatzikyriakidis, Stergios (4)
    • Callaghan, Paul (2)
    • Chatzikyriakidis, Stergios [Herausgeber] (2)
    • Luo, Zhaohui [Herausgeber] (2)
    • Alonso, Miguel A. (1)
    • Asher, Nicholas (1)
    • Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE) (1)
    • Bouchard, Denis (1)
    • Cabrero, David (1)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Book (6)
    • Article (6)
    • Journal (1)
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 13 of 13 1 Formal semantics in modern type theories Chatzikyriakidis, Stergios; Luo, Zhaohui. - Hoboken, NJ : ISTE, 2020 UB Frankfurt Linguistik Show details 2 Formalization ov Coercions in Lexical Semantics Asher, Nicholas; Luo, Zhaohui In: Sinn und Bedeutung; Bd. 17 (2013): Proceedings of Sinn und Bedeutung 17; 63-80 ; Proceedings of Sinn und Bedeutung; Vol 17 (2013): Proceedings of Sinn und Bedeutung 17; 63-80 ; 2629-6055 (2019) BASE Show details 3 Modern Perspectives in Type-Theoretical Semantics Chatzikyriakidis, Stergios [Herausgeber]; Luo, Zhaohui [Herausgeber]. - Cham : Springer International Publishing, 2017 DNB Subject Category Language Show details 4 Modern Perspectives in Type-Theoretical Semantics Chatzikyriakidis, Stergios [Herausgeber]; Luo, Zhaohui [Herausgeber]. - Cham : Springer International Publishing, 2017 DNB Subject Category Language Show details 5 Adjectival and Adverbial Modification: The View from Modern Type Theories [<Journal>] Chatzikyriakidis, Stergios [Verfasser]; Luo, Zhaohui [Sonstige] DNB Subject Category Language Show details 6 Modern perspectives in type-theoretical semantics Chatzikyriakidis, Stergios (Herausgeber); Luo, Zhaohui (Herausgeber). - Cham : Springer, 2017 BLLDB UB Frankfurt Linguistik Show details 7 Dependent Event Types Luo, Zhaohui; Soloviev, Sergei In: Logic, Language, Information, and Computation ; 24th International Workshop Logic, Language, Information, and Computation (WoLLIC 2017) ; https://hal.archives-ouvertes.fr/hal-01913662 ; 24th International Workshop Logic, Language, Information, and Computation (WoLLIC 2017), Jul 2017, London, United Kingdom. pp. 216-228 (2017) BASE Show details 8 Natural Language Inference in Coq Chatzikyriakidis, Stergios; Luo, Zhaohui In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 23 (2014) 4, 441-480 OLC Linguistik Show details 9 Formal semantics in modern type theories with coercive subtyping Luo, Zhaohui In: Linguistics and philosophy. - Dordrecht [u.a.] : Springer 35 (2013) 6, 491-513 OLC Linguistik Show details 10 Type-theoretical semantics with coercive subtyping Luo, Zhaohui In: Semantics and Linguistic Theory; Proceedings of SALT 20; 38-56 ; 2163-5951 (2010) BASE Show details 11 An Implementation of LF with Coercive Subtyping & Universes Callaghan, Paul; Luo, Zhaohui In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 27 (2001) 1, 3-28 OLC Linguistik Show details 12 Logical aspects of computational linguistics : second international conference ; selected papers Lambek, Joachim (Mitarb.); Callaghan, Paul (Mitarb.); Luo, Zhaohui (Mitarb.). - Berlin [u.a.] : Springer, 1999 BLLDB UB Frankfurt Linguistik Show details 13 Modern perspectives in type-theoretical semantics Luo, Zhaohui (HerausgeberIn); Chatzikyriakidis, Stergios (HerausgeberIn) IDS Mannheim Show details

Mobile view All Catalogues UB Frankfurt Linguistik 3 IDS Mannheim 1 OLC Linguistik 3 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 3 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 2 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 3 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0