@unpublished{bertot:inria-00083975, TITLE = {{lambda-calcul et types}}, AUTHOR = {Bertot, Yves}, URL = {https://cel.hal.science/inria-00083975}, NOTE = {Lecture}, HAL_LOCAL_REFERENCE = {EJCP06}, ADDRESS = {Ecole Jeunes Chercheurs en Programmation (CNRS-INRIA) Toulouse}, YEAR = {2006}, KEYWORDS = {lambda-calcul ; types ; r{\'e}cursion}, PDF = {https://cel.hal.science/inria-00083975/file/types.pdf}, HAL_ID = {inria-00083975}, HAL_VERSION = {v1}, }