Paper: Type Theory based on Dependent Inductive and Coinductive Types (at LICS 2016)
Authors: Henning Basold Herman Geuvers
Abstract
No Abstract Available
BibTeX
@InProceedings{BasoldGeuvers-TypeTheorybasedonDe, author = {Henning Basold and Herman Geuvers}, title = {Type Theory based on Dependent Inductive and Coinductive Types}, booktitle = {Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016)}, year = {2016}, month = {July}, pages = {327--336}, location = {New York City}, publisher = {IEEE Computer Society Press} }