@Unpublished{     sakayori:hal-04081885,
  Author        = "Sakayori, Ken and Sangiorgi, Davide",
  date-added    = "2023-04-28 17:58:38 +0200",
  date-modified = "2023-04-28 17:58:38 +0200",
  hal_id        = "hal-04081885",
  hal_version   = "v1",
  Keywords      = {$\pi$-calculus ; $\lambda$-theory ; B{\"o}hm trees ; $\eta$-expansion},
  Month         = "April",
  Note          = "working paper or preprint",
  PDF           = "https://hal.science/hal-04081885/file/main.pdf",
  Title         = "{Extensional and Non-extensional Functions as Processes}",
  URL           = "https://hal.science/hal-04081885",
  Year          = "2023",
  bdsk-url-1    = "https://hal.science/hal-04081885",
  File          = "Extensional and Non-extensional Functions as Processes - main.pdf"
}

@Unpublished{ sakayori:hal-04081885, Author = "Sakayori, Ken and Sangiorgi, Davide", date-added = "2023-04-28 17:58:38 +0200", date-modified = "2023-04-28 17:58:38 +0200", hal_id = "hal-04081885", hal_version = "v1", Keywords = {$\pi$-calculus ; $\lambda$-theory ; B{\"o}hm trees ; $\eta$-expansion}, Month = "April", Note = "working paper or preprint", PDF = "https://hal.science/hal-04081885/file/main.pdf", Title = "{Extensional and Non-extensional Functions as Processes}", URL = "https://hal.science/hal-04081885", Year = "2023", bdsk-url-1 = "https://hal.science/hal-04081885", File = "Extensional and Non-extensional Functions as Processes - main.pdf" }