@unpublished{salvati:hal-01169352,
  TITLE = {{A model for divergence insensitive properties of lambdaY-terms}},
  AUTHOR = {Salvati, Sylvain and Walukiewicz, Igor},
  URL = {https://hal.science/hal-01169352},
  NOTE = {working paper or preprint},
  YEAR = {2015},
  MONTH = Jun,
  KEYWORDS = {lambda Y-calculus ; MSOL properties of Bohm trees},
  PDF = {https://hal.science/hal-01169352v1/file/hal-version.pdf},
  HAL_ID = {hal-01169352},
  HAL_VERSION = {v1},
}