Andrzej Tarlecki

Andrzej Tarlecki

Faculty of Mathematics, Informatics and Mechanics, University of Warsaw
Verified email at mimuw.edu.pl
Cited by 5149
foundations of computer science formal methods logic universal algebra and category theory