Talk "Fixpoint Theory - Upside Down"

by Barbara König

Wed, 15 January 2020 at 09:30 am in Massa Marittima, Italy

Joint work with: Paolo Baldan, Richard Eggert, Tommaso Padoan

Abstract: We introduce methods for witnessing lower bounds for least and upper bounds for greatest fixpoints.