Terminal semantics for codata types in intensional Martin-Löf type theory
TeX Shell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
coq
doc
tex
.gitignore
README.md
abstract.txt
lipics_author_agreement_TYPES2014.pdf
metadataTYPES2014.txt

README.md