Skip to content
cs-conference-ranking.org

A lambda-Calculus for Resource Separation.

Robert Atkey

VenueA*ICALP
Year2004
ProceedingsICALP
DBLP recordconf/icalp/Atkey04 ↗

Browse the full ICALP paper archive.