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
|
|
2 |
Multiplicative Linear Logic from Logic Programs and Tilings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
3 |
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
|
|
4 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
5 |
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
|
|
6 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
8 |
Copredication in homotopy type theory
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01628150 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
9 |
Seeking student voices in collaborative spaces : a case study of basic writers interacting in Blackboard, Facebook and the classroom
|
|
|
|
BASE
|
|
Show details
|
|
10 |
Guiding learners to near native fluency in English through an adaptive programme of activities which includes phoneme and prosody analysis.
|
|
|
|
BASE
|
|
Show details
|
|
11 |
Finger placement correction for static gesture recognition in American Sign Language
|
|
|
|
BASE
|
|
Show details
|
|
12 |
The creation and utilization of a physical science tablet application in the primary classroom
|
|
|
|
BASE
|
|
Show details
|
|
15 |
Krivine machines and higher-order schemes
|
|
|
|
In: https://hal.inria.fr/inria-00589407 ; [Research Report] 2011, pp.17 (2011)
|
|
BASE
|
|
Show details
|
|
16 |
Software forensics: extending authorship analysis techniques to computer programs
|
|
|
|
BASE
|
|
Show details
|
|
17 |
Digital students in the democratic classroom : using technology to enhance critical pedagogy in first-year composition
|
|
|
|
In: CardinalScholar 1.0 (2009)
|
|
BASE
|
|
Show details
|
|
18 |
λμ-calculus and Λμ-calculus: a Capital Difference
|
|
|
|
In: https://hal.inria.fr/inria-00524942 ; 2009 (2009)
|
|
BASE
|
|
Show details
|
|
19 |
Algebraic types and pattern matching in the logical language of the Why verification platform
|
|
|
|
In: https://hal.inria.fr/inria-00439232 ; [Research Report] RR-7128, INRIA. 2009 (2009)
|
|
BASE
|
|
Show details
|
|
20 |
Growing a Domain Specific Language with Split Extensions
|
|
|
|
In: https://hal.inria.fr/inria-00175805 ; [Research Report] RR-6314, INRIA. 2007 (2007)
|
|
BASE
|
|
Show details
|
|
|
|