Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems | BibSonomy

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems
, , , , , , , , , и .
MSFP, том 76 из EPTCS, стр. 112-162. (2012)

  • @dblp
К этой публикации ещё не было создано рецензий.

распределение оценок
средняя оценка пользователей0,0 из 5.0 на основе 0 рецензий
    Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)