Catalogue > People > Profile

Profile Publications

Ralph Matthes

editions X

1 Publications

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

2002

Synthese 133

1 Publications