Papers, theses, and talks about PropEr

Papers

Ph.D. Theses

Diploma Theses

Do not be put off by the first few pages which are in Greek. The main text of the theses is in English.

Talks