Абмеркаванне

@vitaut

I learned much about type systems from Benjamin Pierce book(s) and from my students who i made reading and talking about them in a seminar

eg

https://www.cis.upenn.edu/~bcpierce/tapl/