Menu

About us
Contact

Publications

Collections
Submit a new reference

Login

Calendar

Catalogue > People > Profile

Profile Publications

Order by

Filter

All Monographs Editions Articles

Ralph Matthes

1 Publications

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

2002

Synthese 133

1 Publications

This website is powered by sdvig press, a not-for-profit association based in Geneva, Switzerland

Except for all images and where otherwise noted, contents are available under the Creative Commons Attribution License 4.0

Hendrik, the underlying database of this website, is available under the Open Database License 1.0

Terms & Conditions
About
Contact

We log anonymised, publically available usage statistics with Matomo

© 2015-2024 sdvig press