11 citations · 42 across the 14 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Revisiting Call-by-value Böhm trees in light of their Taylor expansion
Emma Kerinec, Giulio Manzonetto, Michele Pagani
The call-by-value lambda calculus can be endowed with permutation rules, arising from linear logic proof-nets, having the advantage of unblocking some redexes that otherwise get st…
cs.LO2018★ 4 cited
Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky
The main observational equivalences of the untyped lambda-calculus have been characterized in terms of extensional equalities between Böhm trees. It is well known that the lambda-t…