Tarski's theorem and lambda calculi with monotone inductive types (1999)

by R Matthes
Venue:In B Lowe and F Rudolph, eds, Refereed Papers of Research Coll on Foundations of the Formal Sciences