Concepedia

Luc Pellissier

LP

Statistics

Publications

2

Citations

41

H-Index

2

Active since

2017

Affiliations

Centre National de la Recherche Scientifique(Current)

Luc Pellissier is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, engineering, and computer science.

ORCID

Top concepts

Publications per year

2017–2018

2

Publications

2

Polyadic approximations, fibrations and intersection types

Damiano Mazza, Luc Pellissier, Pierre Vial · Proceedings of the ACM on Programming Languages · 2017 · 27 citations · Full text

, , +13

Polyadic Approximations, Fibrations and Intersection Types

Damiano Mazza, Luc Pellissier, Pierre Vial · 2018 · 14 citations

, , +12

1–2 of 2