*type theory

Elemir 09.10.2012 18:45

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

math, type theory, ня, конструктивизм
#ttszeh
readd comment

*type theory is used by:

Evgeny I. E. Omelchenko

Elemir