metamaya.org
This is the personal home page of Kálmán Kéri.
Project
Pipe-calculus
- a core calculus for programming languages
If you want to contact me, write to double k at this domain.