Skip to content

Fixed Points in Metrified Quasi Ordered Sets: Modelling Escaping in Functional Programs.

Markus Mohnen

VenueBGI
Year1999
ProceedingsGI Jahrestagung

Browse the full GI paper archive.