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

by Soren B Lassen
Venue:In Mathematical Foundations of Programming Semantics