Elemir 09.10.2012 18:45 sendxmpp

Офигенное и понятное (что редкость) введение в интуционисткую теорию типов. http://www.cse.chalmers.se/~smith/handbo...

math, type theory, ня, конструктивизм
Recommended by: @17eyes
#ttszeh
re add comment !recommend ~bookmark Ssubscribe
Do you really want to delete ?