• Refine your search:
  • 
    Keyword:
    
    • [INFO.INFO-CL]Computer Science [cs] / Computation and Language [cs.CL] (42)
    • [INFO.INFO-LO]Computer Science [cs] / Logic in Computer Science [cs.LO] (35)
    • Linguistics (23)
    • ACM: F.: Theory of Computation / F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES / F.4.1: Mathematical Logic / F.4.1.2: Lambda calculus and related systems (22)
    • lambda calculus (21)
    • [MATH.MATH-LO]Mathematics [math] / Logic [math.LO] (16)
    • lambda-calculus (16)
    • [SHS.LANGUE]Humanities and Social Sciences / Linguistics (15)
    • linear logic (14)
    • Calculus (13)
    •   more
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (52)
    • Laboratoire Bordelais de Recherche en Informatique (LaBRI) (33)
    • Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) (32)
    • Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES) (17)
    • Retoré, Christian (15)
    • Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) (13)
    • Inria Nancy - Grand Est (11)
    • Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) (11)
    • Salvati, Sylvain (11)
    • INRIA Lorraine (9)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (198)
    • Book (38)
    • Miscellaneous (31)
  • 
    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 Page: 1 2 3 4 5...14 Hits 1 – 20 of 267 1 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022) BASE Show details 2 Grounding, Quantifiers, and Paradoxes Genco, Francesco,; Poggiolesi, Francesca; Rossi, Lorenzo In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://hal.archives-ouvertes.fr/hal-03187627 ; Journal of Philosophical Logic, Springer Verlag, 2021, 50, pp.1417-1448. ⟨10.1007/s10992-021-09604-w⟩ (2021) BASE Show details 3 Superposition for Lambda-Free Higher-Order Logic Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon... In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.inria.fr/hal-03485227 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), ⟨10.23638/LMCS-17(2:1)2021⟩ (2021) BASE Show details 4 On the difficulty of using philosophical theories to develop a semantics: the case of Ajdukiewicz Godart-Wendling, Béatrice In: The Lvov-Warsaw School and Contemporary Philosophy of Language ; https://hal.archives-ouvertes.fr/hal-03292073 ; Piotr Stalmaszczyk (ed.). The Lvov-Warsaw School and Contemporary Philosophy of Language, Brill editions, In press, Poznań Studies in the Philosophy of the Sciences and the Humanities (2021) BASE Show details 5 Multiplicative Linear Logic from Logic Programs and Tilings Eng, Boris; Seiller, Thomas In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021) BASE Show details 6 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 7 Stellar Resolution: Multiplicatives - for the linear logician, through examples Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 8 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 9 Stellar Resolution: Multiplicatives - for the linear logician, through examples Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 10 Introducing ⦇ λ ⦈, a λ-calculus for effectful computation Maršík, Jirka; Amblard, Maxime; de Groote, Philippe In: ISSN: 1879-2294 ; EISSN: 0304-3975 ; Theoretical Computer Science ; https://hal.inria.fr/hal-03200474 ; Theoretical Computer Science, Elsevier, 2021, 869, pp.108-155. ⟨10.1016/j.tcs.2021.02.038⟩ (2021) BASE Show details 11 Translation of CCS into CSP, Correct up to Strong Bisimulation ; Springer LNCS ; Software Engineering and Formal Methods (SEFM 21) Butterfield, Andrew; Ekembe Ngondi, Gerard; Koutavas, Vasileios. - : Springer, 2021 BASE Show details 12 Parameterized monads in linguistics Viet, Ha Bui. - : University of Wolverhampton, 2021 BASE Show details 13 Exploring undergraduate engineering students' competencies and attitudes towards mathematical problem-posing in integral calculus Radmehr, Farzad; Nedaei, Mahboubeh; Drake, Michael In: INDRUM 2020 ; https://hal.archives-ouvertes.fr/hal-03113968 ; INDRUM 2020, Université de Carthage, Université de Montpellier, Sep 2020, Cyberspace (virtually from Bizerte), Tunisia (2020) BASE Show details 14 Concurrent Game Semantics: Easy as Pi Castellan, Simon; Stefanesco, Léo; Yoshida, Nobuko In: https://hal.inria.fr/hal-03128187 ; [Research Report] Inria. 2020 (2020) BASE Show details 15 HOπ in Coq Ambal, Guillaume; Lenglet, Sergueï; Schmitt, Alan In: ISSN: 0168-7433 ; EISSN: 1573-0670 ; Journal of Automated Reasoning ; https://hal.inria.fr/hal-02536463 ; Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩ (2020) BASE Show details 16 History of Logo Solomon, C; Harvey, B; Kahn, K... In: Proceedings of the ACM on Programming Languages, vol 4, iss HOPL (2020) BASE Show details 17 Proof-theoretic aspects of NLλ Moot, Richard In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020) BASE Show details 18 CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool) ... ElRakaiby, Yehia; Borgida, Alexander; Ferrari, Alessio. - : Zenodo, 2020 BASE Show details 19 A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material ... ElRakaiby, Yehia; Borgida, Alexander; Ferrari, Alessio. - : Zenodo, 2020 BASE Show details 20 A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material ... ElRakaiby, Yehia; Borgida, Alexander; Ferrari, Alessio. - : Zenodo, 2020 BASE Show details Page: 1 2 3 4 5...14

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 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 1 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 266 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0