Dmitriy Traytel

Dmitriy Traytel

Lektor - forfremmelsesprogrammet

ORCID: 0000-0001-7982-2768

Udgivelsesår:
Alle
1 - 1 ud af 1Pr. side: 10
Sortering: Udgivelsesdato
  1. 2012

  2. Foundational, Compositional (Co)datatypes for Higher-Order Logic—Category Theory Applied to Theorem Proving

    Traytel, Dmitriy, Popescu, A. & Blanchette, J. C., 2012, LICS 2012. IEEE Computer Society Press, s. 596-605 10 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

ID: 245399103