Pierre Vial

16 papers A* 3B 3Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2023 B conf
Compositional Pre-processing for Automated Reasoning in Dependent Type Theory.
CPP
Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial
2022 J jnl
Modular pre-processing for automated reasoning in dependent type theory.
CoRR
Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial
2021 — conf
General Automation in Coq through Modular Transformations.
PxTP
Valentin Blot, Louise Dubois de Prisque, Chantal Keller, Pierre Vial
2021 J jnl
Sequence Types and Infinitary Semantics.
CoRR
Pierre Vial
2020 A* conf
Consuming and Persistent Types for Classical Logic.
LICS
Delia Kesner, Pierre Vial
2020 J jnl
Non-idempotent types for classical calculi in natural deduction style.
Log. Methods Comput. Sci.
Delia Kesner, Pierre Vial
2019 B conf
Sequence Types for Hereditary Permutators.
FSCD
Pierre Vial
2018 A* conf
Every λ-Term is Meaningful for the Infinitary Relational Model.
LICS
Pierre Vial
2018 J jnl
Non-idempotent types for classical calculi in natural deduction style.
CoRR
Delia Kesner, Pierre Vial
2018 J jnl
Polyadic approximations, fibrations and intersection types.
Proc. ACM Program. Lang.
Damiano Mazza, Luc Pellissier, Pierre Vial
2017 A* conf
Infinitary intersection types as sequences: A new answer to Klop's problem.
LICS
Pierre Vial
2017 — —
Non-idempotent typing operators, beyond the lambda-calculus. (Opérateurs de typage non-idempotents, au delà du lambda-calcul).
Pierre Vial
2017 B conf
Types as Resources for Classical Natural Deduction.
FSCD
Delia Kesner, Pierre Vial
2016 J jnl
Coinductive Intersection Types are Completely Unsound.
CoRR
Pierre Vial
2016 J jnl
Infinitary Intersection Types as Sequences: a New Answer to Klop's Question.
CoRR
Pierre Vial
2016 J jnl
The Collapse of the Sequential Intersection Type System on the Multiset Intersection Type is Surjective.
CoRR
Pierre Vial