Filtrer vos résultats
- 16
- 5
- 11
- 7
- 1
- 1
- 1
- 21
- 14
- 3
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 4
- 4
- 18
- 3
- 12
- 7
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 21
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
21 résultats
|
|
|
triés par
|
|
|
λ-calcul différentiel et logique classique : interactions calculatoiresLogique [math.LO]. Université de la Méditerranée - Aix-Marseille II, 2007. Français. ⟨NNT : ⟩
Thèse
tel-00194149v5
|
||
|
|
Strategies as Resource Terms, and Their Categorical Semantics8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Jul 2023, Rome, Italy. ⟨10.4230/LIPIcs.FSCD.2023.13⟩
Communication dans un congrès
hal-04244568v1
|
||
|
|
The algebraic lambda-calculusMathematical Structures in Computer Science, 2009, accepted for publication
Article dans une revue
hal-00379750v1
|
||
|
|
Taylor expansion, β-reduction and normalization26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Aug 2017, Stockholm, Sweden. pp.39:1--39:16, ⟨10.4230/LIPIcs.CSL.2017.39⟩
Communication dans un congrès
hal-01834329v1
|
||
|
|
The differential lambda-mu-calculusTheoretical Computer Science, 2007, 379 (1-2), pp.166-209. ⟨10.1016/j.tcs.2007.02.028⟩
Article dans une revue
hal-00349304v1
|
||
|
|
MELL proof-nets in the category of graphs5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy
Communication dans un congrès
lirmm-03271478v1
|
||
|
|
Differential linear logic and polarizationNinth International Conference on Typed Lambda Calculi and Applications, Jul 2009, Brasília, Brazil. pp.371-385
Communication dans un congrès
hal-00387062v1
|
||
|
|
Finitary Simulation of Infinitary β-Reduction via Taylor Expansion, and ApplicationsLogical Methods in Computer Science, 2023, 19 (4), pp.34. ⟨10.46298/lmcs-19(4:34)2023⟩
Article dans une revue
hal-04357092v1
|
||
|
|
Sur la syntaxe de la sémantique quantitativeLogique en informatique [cs.LO]. Aix-Marseille Université, 2021
HDR
tel-03515566v1
|
||
|
|
Transport of finiteness structures and applicationsMathematical Structures in Computer Science, 2018, ⟨10.1017/S0960129516000384⟩
Article dans une revue
hal-00475004v2
|
||
|
|
On linear combinations of lambda-terms18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings, Jun 2007, Paris, France. pp.374-388
Communication dans un congrès
hal-00383896v1
|
||
|
|
An application of parallel cut elimination in unit-free multiplicative linear logic to the Taylor expansion of proof netsCSL 2018, Sep 2018, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.CSL.2018.14⟩
Communication dans un congrès
hal-01835242v1
|
||
|
|
Primitive recursion in finiteness spacesTypes 2009, May 2009, Aussois, France
Communication dans un congrès
hal-00387064v1
|
||
|
|
Convolution lambda-bar-mu-calculus8th International Conference onTyped Lambda Calculi and Applications, TLCA 2007, Jun 2007, Paris, France. pp.381-395, ⟨10.1007/978-3-540-73228-0_27⟩
Communication dans un congrès
hal-00387063v1
|
||
|
|
Normalizing the Taylor expansion of non-deterministic λ-terms, via parallel reduction of resource vectorsLogical Methods in Computer Science, 2019, 15 (3), ⟨10.23638/LMCS-15(3:9)2019⟩
Article dans une revue
hal-02502252v1
|
||
Programmes, preuves et fonctions : le ménage à trois de Curry-HowardPhilippe Langlois. Informatique mathématique : Une photographie en 2013, Presses Universitaires de Perpignan, 2013, 978-2-35412-183-9
Chapitre d'ouvrage
hal-03652486v1
|
|||
|
|
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ -terms19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2016), Apr 2016, Eindhoven, Netherlands. pp 408-423
Communication dans un congrès
hal-01292923v1
|
||
|
|
Sequentialization is as fun as bungee jumping7th International Workshop on Trends in Linear Logic and Applications (TLLA 2023), Jul 2023, Rome Sapienza Universita di Roma, Italy
Communication dans un congrès
hal-04515300v1
|
||
|
|
On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximantsLogical Methods in Computer Science, 2022, Volume 18, Issue 1, ⟨10.46298/lmcs-18(1:1)2022⟩
Article dans une revue
hal-03517406v1
|
||
|
|
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof netsLogical Methods in Computer Science, 2021, Volume 17, Issue 4, ⟨10.46298/lmcs-17(4:22)2021⟩
Article dans une revue
hal-03517397v1
|
||
|
|
A Non-Uniform Finitary Relational Semantics of System T6th Workshop on Fixed Points in Computer Science (FICS'09), Sep 2009, Coimbra, Portugal
Communication dans un congrès
hal-01264690v1
|