Repository | Directory | Profile

156162

Ralph Matthes

Bibliography ¹

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

2002

Synthese 133/1-2

Open Access Link

Order by

Filter

Language

english/english

Period

2000-2009