A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus

Publisher Website
Google Scholar
Abstract
No abstract available