Регистрация | Вход в службу | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: Philosophy_of_Information - Altenkirch [1 article]

Papers posted to the group Philosophy_of_Information by author Altenkirch. You can also see Altenkirch everyone.
  • Extensional equality in intensional type theory
    Logic in Computer Science, 1999. Proceedings. 14th Symposium on (1999), pp. 412-420.
  • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/group/12/author/Altenkirch

    RIS BibTeX