Skip to content
cs-conference-ranking.org

Structural Recursive Definitions in Type Theory.

Eduardo Gimnez

VenueA*ICALP
Year1998
ProceedingsICALP
DBLP recordconf/icalp/Gimenez98 ↗

Browse the full ICALP paper archive.