7 citations · 25 across the 13 of their papers we have counts for
1 paper · 1 filter
Antonio Bucciarelli, Alberto Carraro, Antonino Salibra
A longstanding open problem in lambda calculus is whether there exist continuous models of the untyped lambda calculus whose theory is exactly the least lambda-theory lambda-beta o…