Ralph Matthes
Artikeln in English (2000-2009)
XTarski's fixed-point theorem and lambda calculi with monotone inductive types
2002
Synthese 133/1-2
Artikeln in English (2000-2009)
XTarski's fixed-point theorem and lambda calculi with monotone inductive types
2002
Synthese 133/1-2