1 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
3 |
Formalization of AMR Inference via Hybrid Logic Tableaux ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
Os géneros do discurso académico em Moçambique: um diagnóstico, uma proposta de análise
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Does adding beer to coffee enhance the activation of drinks ? An ERP study of semantic category priming
|
|
|
|
In: ISSN: 1758-8928 ; EISSN: 1758-8936 ; Cognitive Neuroscience ; https://hal.sorbonne-universite.fr/hal-03282300 ; Cognitive Neuroscience, Taylor and Francis, 2021, pp.1-16. ⟨10.1080/17588928.2021.1940117⟩ (2021)
|
|
BASE
|
|
Show details
|
|
7 |
Multiplicative Linear Logic from Logic Programs and Tilings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
8 |
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
|
|
9 |
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
|
|
10 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
11 |
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
|
|
12 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
13 |
Ein Überblick über die neuesten abstrakten Zusammenfassungstechniken ; A Survey of Recent Abstract Summarization Techniques ; Un aperçu des techniques récentes de résumé abstrait
|
|
|
|
In: Proceedings of Sixth International Congress on Information and Communication TechnologyICICT 2021, London, Volume 4Series: Lecture Notes in Networks and Systems, Vol. 217Yang, X.-S., Sherratt, S., Dey, N., Joshi, A. (Eds.) 2021 ; Proceedings of Sixth International Congress on Information and Communication Technology ICICT 2021, London, Volume 4, Series: Lecture Notes in Networks and Systems, Vol. 217. Springer Singapore, 2021 ; https://hal.archives-ouvertes.fr/hal-03216381 ; Proceedings of Sixth International Congress on Information and Communication Technology ICICT 2021, London, Volume 4, Series: Lecture Notes in Networks and Systems, Vol. 217. Springer Singapore, 2021, ICICT 2021, Feb 2021, London, United Kingdom ; https://www.waterstones.com/book/proceedings-of-sixth-international-congress-on-information-and-communication-technology/xin-she-yang/simon-sherratt/9789811621017 (2021)
|
|
BASE
|
|
Show details
|
|
14 |
A workshop on the epistemology and didactics of mathematical structuralism
|
|
|
|
In: Advances in the Anthropological Theory of the Didactic and their Consequences in Curricula and in Teacher Education ; https://hal.archives-ouvertes.fr/hal-03275633 ; Yves Chevallard; Berta Barquero Farràs; Marianna Bosch; Ignasi Florensa; Josep Gascón; Pedro Nicolás; Noemí Ruiz-Munzón. Advances in the Anthropological Theory of the Didactic and their Consequences in Curricula and in Teacher Education, Springer Nature Switzerland AG, 2021 (2021)
|
|
BASE
|
|
Show details
|
|
15 |
Over-promotion and caution in abstracts of preprints during the COVID-19 crisis
|
|
|
|
In: ISSN: 0953-1513 ; Learned Publishing ; https://hal-enpc.archives-ouvertes.fr/hal-03284142 ; Learned Publishing, Association of Learned and Professional Society Publishers, 2021, ⟨10.1002/leap.1411⟩ (2021)
|
|
BASE
|
|
Show details
|
|
16 |
Early Analogical Extensions: An ERP Study on Preschoolers' Semantic Approximations
|
|
|
|
In: 43rd Annual Meeting of the Cognitive Science Society ; https://hal.archives-ouvertes.fr/hal-03443188 ; 43rd Annual Meeting of the Cognitive Science Society, 2021, Virtual meeting, France (2021)
|
|
BASE
|
|
Show details
|
|
17 |
Early Analogical Extensions: An ERP Study on Preschoolers' Semantic Approximations
|
|
|
|
In: 43rd annual meeting of the Cognitive Science Society ; https://hal-univ-paris8.archives-ouvertes.fr/hal-03266957 ; 43rd annual meeting of the Cognitive Science Society, Jun 2021, Vienne (virtual), Austria (2021)
|
|
BASE
|
|
Show details
|
|
18 |
Early analogical extensions: An ERP Study on preschoolers'semantic approxinmations
|
|
|
|
In: Proceedings of the Annual Meeting of the Cognitive Science Society, 43(43) ; Annual Meeting of the Cognitive Science Society ; https://hal.archives-ouvertes.fr/hal-03409631 ; Annual Meeting of the Cognitive Science Society, Jul 2021, Vienna, Austria (2021)
|
|
BASE
|
|
Show details
|
|
19 |
Code-driven Language Development: Framework for Analysis of C/C++ Open-Source Projects ...
|
|
|
|
BASE
|
|
Show details
|
|
20 |
Abstract concepts, language and sociality: from acquisition to inner speech ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|