Вы здесь

Главная

type theory

Связанные издания:

Computer Science Logic: Proc./23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 2009