@phdthesis{pellissier:tel-02465653,
  TITLE = {{Reductions and linear approximations}},
  AUTHOR = {Pellissier, Luc},
  URL = {https://theses.hal.science/tel-02465653},
  NUMBER = {2017USPCD088},
  SCHOOL = {{Universit{\'e} Sorbonne Paris Cit{\'e}}},
  YEAR = {2017},
  MONTH = Dec,
  KEYWORDS = {Intersection types ; Proofs and programs dynamics ; Types intersections ; R{\'e}seaux de preuve ; S{\'e}mantique cat{\'e}gorique},
  TYPE = {Theses},
  PDF = {https://theses.hal.science/tel-02465653v1/file/edgalilee_th_2017_pellissier.pdf},
  HAL_ID = {tel-02465653},
  HAL_VERSION = {v1},
}