@unpublished{ridoux:hal-03155381, TITLE = {{Le lambda--calcul}}, AUTHOR = {Ridoux, Olivier}, URL = {https://univ-rennes.hal.science/hal-03155381}, NOTE = {Lecture}, TYPE = {Master}, ADDRESS = {France}, YEAR = {2021}, MONTH = Mar, PDF = {https://univ-rennes.hal.science/hal-03155381/file/picopoly%20lambda.pdf}, HAL_ID = {hal-03155381}, HAL_VERSION = {v1}, }