Filter your results
- 31
- 23
- 34
- 10
- 5
- 2
- 1
- 1
- 1
- 54
- 5
- 5
- 4
- 3
- 1
- 1
- 2
- 3
- 3
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 3
- 1
- 52
- 2
- 54
- 29
- 25
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 54
- 10
- 8
- 5
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
54 Results
|
|
sorted by
|
On the Strong Normalisation of Natural Deduction with Permutation-Conversions10th International Conference on Rewriting Techniques & Applications - RTA'99, 1999, Trento, Italy, pp.45--59
Conference papers
inria-00100815v1
|
|||
Stochastic Lambek Categorial GrammarsFormal Grammars and Mathematics of Langage Conference - FGMOl'01, Lawrence Moss, 2001, Helsinki, Finland, 9 p
Conference papers
inria-00100527v1
|
|||
Abstract Categorial Parsing as Linear Logic ProgrammingProceedings of the 14th Meeting on the Mathematics of Language (MoL 2015), 2015, Chicago, United States. pp.15--25
Conference papers
hal-01188632v1
|
|||
Proceedings of the 16th Meeting on the Mathematics of LanguagePhilippe de Groote; Frank Drewes; Gerald Penn. Association for Computational Linguistics, 2019
Books
hal-02268054v1
|
|||
|
Le problème de l’analyse des troubles de la pensée dans le discours avec la personne schizophrène : proposition méthodologiqueL'Évolution Psychiatrique, 2022, 87 (2), pp.347-369. ⟨10.1016/j.evopsy.2022.04.004⟩
Journal articles
hal-03724030v1
|
||
|
Type-theoretic extensions of Abstract Categorial Grammars2007
Preprints, Working Papers, ...
inria-00187759v1
|
||
An environment machine for the $\lambda\mu$-calculusMathematical Structures in Computer Science, 1998, 8 (6), pp.637-669
Journal articles
inria-00098499v1
|
|||
A note on Kobayashi's & Yonezawa's ``Asynchronous Communication Model Based on Linear LogicFormal Aspects of Computing, 1998, 10 (2), pp.160-170
Journal articles
inria-00098500v1
|
|||
On the semantics of static exception handling[Intern report] 99-R-418 || de_groote99a, 1999, 15 p
Reports
inria-00098946v1
|
|||
Proof-Theoretic Aspects of the Lambek-Grishin CalculusLogic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, 2015, Bloomington, United States. pp.109--123
Conference papers
hal-01188612v1
|
|||
|
Implicit Arguments: Event Modification or Option Type Categories?18th Amsterdam Colloquium on Logic, Language and Meaning, Dec 2011, Amsterdam, Netherlands. pp.240-250, ⟨10.1007/978-3-642-31482-7_25⟩
Conference papers
hal-00763102v1
|
||
Vector Addition Tree Automata19th Annual IEEE Symposium on Logic in Computer Science - LICS'04, 2004, Turku, Finland, France. pp.64-73
Conference papers
inria-00100081v1
|
|||
On the complexity of higher-order matching in the linear $\lambda$-calculusInternational Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, pp.234-245
Conference papers
inria-00099593v1
|
|||
Proof-search in implicative linear logic as a matching problemInternational Conference on Logic for Programming & Automated Reasoning - LPAR'2000, 2000, Reunion Island, France, pp.257-274
Conference papers
inria-00099221v1
|
|||
|
Tree-Adjoining Grammars as Abstract Categorial GrammarsProceedings of the Sixth International Workshop on Tree Adjoining Grammar and Related Frameworks (TAG+6), May 2002, Venezia, Italy. pp.145-150
Conference papers
hal-04120630v1
|
||
|
A type-logical account of quantification in event semanticsLogic and Engineering of Natural Language Semantics 11, Nov 2014, Tokyo, Japan
Conference papers
hal-01102261v1
|
||
|
On Logical Relations and ConservativityNLCS'15. Third Workshop on Natural Language and Computer Science, 2015, Kyoto, Japan. pp.1-11, ⟨10.29007/gwlt⟩
Conference papers
hal-01188619v1
|
||
|
Modal Subordination in Type Theoretic Dynamic LogicLinguistic Issues in Language Technology, 2016, Modes of Modality in NLP, 14 ((1)), pp.1-39
Journal articles
hal-01370557v1
|
||
Linear higher-order matching is NP-completeInternational Conference on Rewriting Techniques & Applications - RTA'2000, 2000, Norwich, UK, pp.127-140
Conference papers
inria-00099220v1
|
|||
Lexical selection, coercion, and record typesLENLS17 : Logic & Engineering of Natural Language Semantics, Nov 2020, Online, Japan
Conference papers
hal-03076311v1
|
|||
|
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial GrammarFundamenta Informaticae, 2011, 106 (2-4), pp.211-231. ⟨10.3233/FI-2011-384⟩
Journal articles
inria-00565598v2
|
||
|
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining GrammarsYukiko Nakano and Ken Satoh and Daisuke Bekki. New Frontiers in Artificial Intelligence: JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers, 8417, Springer International Publishing, pp.3-16, 2014, Lecture Notes in Computer Science, 978-3-319-10060-9. ⟨10.1007/978-3-319-10061-6_1⟩
Book sections
hal-00868382v1
|
||
New Progress in Continuation-Based Dynamic LogicLACompLing2018 - Symposium on Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden
Conference papers
hal-01939664v1
|
|||
|
Towards abstract categorial grammarsAssociation for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Jul 2001, Toulouse, France, France. pp.148-155, ⟨10.3115/1073012.1073045⟩
Conference papers
inria-00100529v1
|
||
The Non-associative Lambek calculus with product in polynomial timeAutomatic Reasoning with Analytic Tableaux and Related Methods, Jun 1999, Saratoga Springs, NY USA, pp.128-139
Conference papers
inria-00108070v1
|
|||
Logical Aspects of Computational LinguisticsSpringer, 310 p, 2001, Lecture Notres in Artificial Intelligence
Books
inria-00100530v1
|
|||
A dynamic programming approach to categorial deduction16th International Conference on Automated Deduction - CADE-16, 1999, Trento, Italy, pp.1--15
Conference papers
inria-00100816v1
|
|||
|
An algebraic correctness criterion for intuitionistic multiplicative proof-netsTheoretical Computer Science, 1999, 224 (1-2), pp.115-134. ⟨10.1016/S0304-3975(98)00309-0⟩
Journal articles
inria-00098817v1
|
||
|
On the expressive power of Abstract Categorial Grammars: Representing context-free formalismsJournal of Logic, Language and Information, 2004, 13 (4), pp.421-438. ⟨10.1007/s10849-004-2114-x⟩
Journal articles
inria-00112956v1
|
||
Preuve de confluence de $\lambda_{exn}$[Interne] 98-R-298 || de_groote98b, 1998, 19 p
Reports
inria-00098334v1
|
- 1
- 2