Page: 1 2 3 4 5 6 7... 460
| 41 |
Verification of Program Transformations with Inductive Refinement Types
|
|
|
|
In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 42 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 43 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 44 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 45 |
Parametric updates in parametric timed automata
|
|
|
|
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-03340905 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), pp.13:1-13:67. ⟨10.23638/LMCS-17(2:13)2021⟩ ; https://lmcs.episciences.org/7470 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 46 |
Modelling predicates in propositional syntax ; Modélisation de prédicats dans la syntaxe propositionnelle
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 47 |
Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/tel-03452731 ; Computation and Language [cs.CL]. Université Montpellier, 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 48 |
Logical foundations for hybrid type-logical grammars
|
|
|
|
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02944393 ; Journal of Logic, Language and Information, Springer Verlag, In press (2021)
|
|
BASE
|
|
Show details
|
|
|
| 49 |
Plurals and Mereology
|
|
|
|
In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://jeannicod.ccsd.cnrs.fr/ijn_02978254 ; Journal of Philosophical Logic, Springer Verlag, 2021, 50 (3), pp.415-445. ⟨10.1007/s10992-020-09570-9⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 50 |
On the Dual Interpretation of Nouns as Types and Predicates in Semantic Type Theories
|
|
|
|
In: 2nd Workshop on Computing Semantics with Types, Frames and Related Structures, ESSLLI 2021 ; https://hal.archives-ouvertes.fr/hal-03468606 ; 2nd Workshop on Computing Semantics with Types, Frames and Related Structures, ESSLLI 2021, Jul 2021, Virtual, Netherlands (2021)
|
|
BASE
|
|
Show details
|
|
|
| 51 |
Plurals and Mereology
|
|
|
|
In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://jeannicod.ccsd.cnrs.fr/ijn_02978254 ; Journal of Philosophical Logic, Springer Verlag, 2021, 50 (3), pp.415-445. ⟨10.1007/s10992-020-09570-9⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 52 |
WDProp: Web Application to Analyse Multilingual Aspects of Wikidata Properties
|
|
|
|
In: OpenSym 2021: 17th International Symposium on Open Collaboration ; https://hal.archives-ouvertes.fr/hal-03621622 ; OpenSym 2021: 17th International Symposium on Open Collaboration, Sep 2021, Online, Spain. pp.1-12, ⟨10.1145/3479986.3479996⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 53 |
Improving Automation for Higher-Order Proof Steps
|
|
|
|
In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 54 |
Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics
|
|
|
|
In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://hal.archives-ouvertes.fr/hal-03319247 ; Journal of Philosophical Logic, Springer Verlag, 2021, ⟨10.1007/s10992-021-09621-9⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 55 |
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds
|
|
|
|
In: ISSN: 0039-3215 ; EISSN: 1572-8730 ; Studia Logica ; https://hal.archives-ouvertes.fr/hal-03372615 ; Studia Logica, Springer Verlag (Germany), 2021, ⟨10.1007/s11225-021-09969-8⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 56 |
Discovering Early de Finetti’s Writings on Trivalent Theory of Conditionals
|
|
|
|
In: Argumenta, Journal of analytic philosophy ; https://hal.archives-ouvertes.fr/hal-03363111 ; Argumenta, Journal of analytic philosophy, Department of Humanities and Social Sciences, University of Sassari, 2021, 6, pp.267-291. ⟨10.14275/2465-2334/202112.bar⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 57 |
Categories with Families: Unityped, Simply Typed, and Dependently Typed
|
|
|
|
In: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics ; https://hal.archives-ouvertes.fr/hal-03419296 ; Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, 20, Springer International Publishing, pp.135-180, 2021, Outstanding Contributions to Logic, ⟨10.1007/978-3-030-66545-6_5⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 58 |
Covariant Subtyping Applied to Semantic Predicate Calculi
|
|
|
|
In: LACL 2021 - Logical Aspects of Computational Linguistics ; https://hal.inria.fr/hal-03542057 ; LACL 2021 - Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France (2021)
|
|
BASE
|
|
Show details
|
|
|
| 59 |
An inquisitive account of wh-questions through event semantics
|
|
|
|
In: LACL 2021 - Logical Aspects of Computational Linguistics ; https://hal.inria.fr/hal-03541222 ; LACL 2021 - Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France (2021)
|
|
BASE
|
|
Show details
|
|
|
| 60 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
|
Page: 1 2 3 4 5 6 7... 460 |
|
