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

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

OriginalsprogEngelsk
TitelLICS 2012
Antal sider10
ForlagIEEE Computer Society Press
Publikationsdato2012
Sider596-605
DOI
StatusUdgivet - 2012
Eksternt udgivetJa

ID: 245668261