Skip to content
cs-conference-ranking.org

On Substitutional Recursion Over Non-Well-Founded Sets

R. T. P. Fernando

VenueA*LICS
Year1989
ProceedingsLICS
DBLP recordconf/lics/Fernando89 ↗

Browse the full LICS paper archive.