Repository | Directory | Profile

References
Ralph Matthes
Tarski's fixed-point theorem and lambda calculi with monotone inductive types
2002
Synthese 133/1-2

Repository | Directory | Profile
Tarski's fixed-point theorem and lambda calculi with monotone inductive types
2002
Synthese 133/1-2