@unpublished{gustedt:hal-03553612, TITLE = {{Options for lambdas}}, AUTHOR = {Gustedt, Jens}, URL = {https://inria.hal.science/hal-03553612}, NOTE = {working paper or preprint}, YEAR = {2022}, MONTH = Feb, PDF = {https://inria.hal.science/hal-03553612/file/lambda-options-talk.pdf}, HAL_ID = {hal-03553612}, HAL_VERSION = {v1}, }