Bisimulation in untyped lambda calculus: Böhm trees and bisimulation up to context (1999)

by S B Lassen
Venue:In Proc. 15th MFPS