Pierre Vial

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 15

Top Venues

CoRR

LICS

FSCD

Proc. ACM Program. Lang.

Sorbonne Paris Cité University, France (PHD)

Education History

Sorbonne Paris Cité University, France

PHD

Publications

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

Pierre Vial.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pierre Vial