Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
(2000-2009)
Tarski's fixed-point theorem and lambda calculi with monotone inductive types
2002
Ralph Matthes
Synthese 133/1-2
