Sequential models of PCF: some contributions to the domain-theoretic approach to full abstraction (1993)

by A Bucciarelli
Venue:in Computer Science, University of Pisa