Pierre Vial
Institut national de recherche en sciences et technologies du numérique(FR)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, semigroups and automata theory, Semantic Web and Ontologies
Most-Cited Works
- → Wavelets on the Interval and Fast Wavelet Transforms(1993)1,029 cited
- → Random design wavelet curve smoothing(1997)48 cited
- → Polyadic approximations, fibrations and intersection types(2017)27 cited
- → Types as Resources for Classical Natural Deduction(2017)23 cited
- → Consuming and Persistent Types for Classical Logic(2020)10 cited
- → Non-idempotent types for classical calculi in natural deduction style(2020)9 cited
- → Infinitary intersection types as sequences: A new answer to Klop's problem(2017)7 cited
- Pour une renaissance culturelle : le G.R.E.C.E. prend la parole(1979)