,

Type Theory Should Eat Itself.

.
Electron. Notes Theor. Comput. Sci., (2009)

Метаданные

тэги

Пользователи данного ресурса

  • @gdmcbain

Комментарии и рецензии