Tarski's fixed-point theorem and lambda calculi with monotone inductive types

2002

Ralph Matthes

Synthese 133