Skip to content
cs-conference-ranking.org

Proof Systems for Retracts in Simply Typed Lambda Calculus.

Colin Stirling

VenueA*ICALP
Year2013
ProceedingsICALP (2)
DBLP recordconf/icalp/Stirling13 ↗

Browse the full ICALP paper archive.