Skip to content

A Generalized Modality for Recursion.

Adrien Guatto

VenueA*LICS
Year2018
ProceedingsLICS

Browse the full LICS paper archive.