Skip to content
cs-conference-ranking.org

Fully Abstract Models of the Lazy Lambda Calculus

C.-H. Luke Ong

VenueA*FOCS
Year1988
ProceedingsFOCS
DBLP recordconf/focs/Ong88 ↗

Browse the full FOCS paper archive.