mechap mechap@types.pl

I am a computer enthiusiast with an interest for all the intricacices of formal specifications of programming languages and mathematical foundations.