Filter your results
- 45
- 15
- 10
- 2
- 1
- 1
- 16
- 11
- 10
- 10
- 6
- 6
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 72
- 11
- 74
- 74
- 5
- 5
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 74
- 74
- 74
- 74
- 74
- 74
- 74
- 74
- 74
- 74
- 74
- 73
- 70
- 70
- 50
- 12
- 11
- 11
- 10
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 72
- 2
- 55
- 19
- 4
- 24
- 22
- 20
- 1
- 2
- 1
|
Factorize FactorizationCSL 2021 - 29th EACSL Annual Conference on Computer Science Logic, Jan 2021, Ljubljana, Slovenia. ⟨10.4230/LIPIcs.CSL.2021.22⟩
Conference papers
hal-03044338v1
|
||
|
An introduction to enriched cofunctors2022
Preprints, Working Papers, ...
hal-03805364v1
|
||
|
A drag-and-drop proof tacticCPP 2022: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. pp.197-209, ⟨10.1145/3497775.3503692⟩
Conference papers
hal-03823357v2
|
||
|
Tail Modulo ConsJFLA 2021 - Journées Francophones des Langages Applicatifs, Apr 2021, Saint Médard d’Excideuil, France
Conference papers
hal-03146495v1
|
||
|
Logic beyond formulas: a proof system on graphsLICS 2020 - 35th ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.38-52, ⟨10.1145/3373718.3394763⟩
Conference papers
hal-02560105v1
|
||
|
FPC-Coq: Using ELPI to elaborate external proof evidence into Coq proofs[Research Report] Inria Saclay. 2020
Reports
hal-02974002v1
|
||
|
Translation validation of a pattern-matching compilerML Family Workshop, Aug 2020, New Jersey /Online, United States
Conference papers
hal-03145030v1
|
||
|
Tight typings and split bounds, fully developedJournal of Functional Programming, 2020, 30, ⟨10.1017/S095679682000012X⟩
Journal articles
hal-03089347v1
|
||
|
A Distributed and Trusted Web of Formal ProofsICDCIT 2020 - 16th International Conference on Distributed Computing and Internet Technology, Jan 2020, Bhubaneswar, India. pp.21-40, ⟨10.1007/978-3-030-36987-3_2⟩
Conference papers
hal-02468229v1
|
||
|
The undecidability of proof search when equality is a logical connectiveAnnals of Mathematics and Artificial Intelligence, 2021, ⟨10.1007/s10472-021-09764-0⟩
Journal articles
hal-03457312v1
|
||
|
The theory of call-by-value solvabilityProceedings of the ACM on Programming Languages, 2022, 6 (ICFP), pp.855-885. ⟨10.1145/3547652⟩
Journal articles
hal-03912446v1
|
||
|
Exponentials as Substitutions and the Cost of Cut Elimination in Linear LogicLICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa Israel, France. pp.1-15, ⟨10.1145/3531130.3532445⟩
Conference papers
hal-03912448v1
|
||
|
Reasonable Space for the λ-Calculus, LogarithmicallyLICS 2022 - 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. pp.1-13, ⟨10.1145/3531130.3533362⟩
Conference papers
hal-03912449v1
|
||
|
A practical mode system for recursive definitionsProceedings of the ACM on Programming Languages, 2021, 5 (POPL), pp.1-29. ⟨10.1145/3434326⟩
Journal articles
hal-03125031v1
|
||
|
Reciprocal Influences Between Proof Theory and Logic ProgrammingPhilosophy & Technology, 2021, 34, pp.75-104. ⟨10.1007/s13347-019-00370-x⟩
Journal articles
hal-02368867v1
|
||
|
Normalization Without SyntaxFSCD 2022, Aug 2022, Haifa, Israel
Conference papers
hal-03654060v1
|
||
|
A constructive proof of Skolem theorem for constructive logic2005
Preprints, Working Papers, ...
hal-04099179v1
|
||
|
Debootstrapping without ArcheologyThe Art, Science, and Engineering of Programming, 2022, 6 (3), ⟨10.22152/programming-journal.org/2022/6/13⟩
Journal articles
hal-03917754v1
|
||
|
Computational logic based on linear logic and fixed points2022
Preprints, Working Papers, ...
hal-03579451v1
|
||
|
Deductive systems and coherence for skew prounital closed categoriesLFMTP 2020 - 15th International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, Jun 2020, Paris, France. pp.35-53, ⟨10.4204/eptcs.332.3⟩
Conference papers
hal-03031107v1
|
||
|
The Sequent Calculus of Skew Monoidal CategoriesProc. of 34th Conf. on Mathematical Foundations of Programming Semantics, MFPS XXXIV, Jun 2018, Halifax, Canada. pp.345-370, ⟨10.1016/j.entcs.2018.11.017⟩
Conference papers
hal-03031126v1
|
||
|
Uniform labelled calculi for preferential conditional logics based on neighbourhood semanticsJournal of Logic and Computation, 2021, 31 (3), pp.947-997. ⟨10.1093/logcom/exab019⟩
Journal articles
hal-02330319v3
|
||
|
A fully labelled proof system for intuitionistic modal logicsJournal of Logic and Computation, 2021, 31 (3), pp.998-1022. ⟨10.1093/logcom/exab020⟩
Journal articles
hal-02390454v3
|
||
|
Eilenberg-Kelly ReloadedMFPS 2020 - 36th Conf. on Mathematical Foundations of Programming Semantics, Jun 2020, Paris, France. pp.233-256, ⟨10.1016/j.entcs.2020.09.012⟩
Conference papers
hal-03031068v1
|
||
|
Quantified Applicatives: API design for type-inference constraintsML Family Workshop, Aug 2020, Jersey City / Online, United States
Conference papers
hal-03145040v1
|
||
|
The Space of InteractionLICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, France. pp.1-13, ⟨10.1109/LICS52264.2021.9470726⟩
Conference papers
hal-03346767v1
|
||
|
BV and Pomset Logic Are Not the Same30th EACSL Annual Conference on Computer Science Logic, CSL 2022, Feb 2022, Göttingen, Germany. ⟨10.4230/LIPIcs.CSL.2022.32⟩
Conference papers
hal-03909463v1
|
||
|
From Proof Nets to Combinatorial Proofs - A New Approach to Hilbert's 24th ProblemÉcole thématique. From Proof Nets to Combinatorial Proofs - A New Approach to Hilbert's 24th Problem, Utrecht / Virtual, Netherlands. 2021
Lectures
hal-03316571v1
|
||
|
MOILab: towards a labelled theorem prover for intuitionistic modal logics2020
Preprints, Working Papers, ...
hal-03048966v1
|
||
|
The Machinery of InteractionPPDP '20 - 22nd International Symposium on Principles and Practice of Declarative Programming, Sep 2020, Bologna, Italy. pp.1-15, ⟨10.1145/3414080.3414108⟩
Conference papers
hal-03089342v1
|