Skip to content
cs-conference-ranking.org

A New Approach to Abstract Syntax Involving Binders.

Murdoch Gabbay, Andrew M. Pitts

VenueA*LICS
Year1999
ProceedingsLICS
DBLP recordconf/lics/GabbayP99 ↗

Browse the full LICS paper archive.