Dependent Inductive and Coinductive Types are Fibrational Dialgebras

Authors :: Basold, H.
Matthes, R.
Matthes, R.
Source :: Electronic Proceedings in Theoretical Computer Science ; 191, 3-17. S.l. : EPTCS, STARTPAGE=3;ENDPAGE=17;TITLE=Electronic Proceedings in Theoretical Computer Science ; 191, Matthes, R. (ed.), FICS 2015 : Proceedings Tenth International Workshop on Fixed Points in Computer Science Berlin, Germany, September 11-12, 2015, pp. 3-17
Publication Year :: 2015
Abstract: Contains fulltext : 143633.pdf (Author’s version preprint ) (Open Access)

Subjects :: Electronic Proceedings in Theoretical Computer Science
Data Science
ComputingMethodologies_DOCUMENTANDTEXTPROCESSING

Database :: OpenAIRE
Journal :: Electronic Proceedings in Theoretical Computer Science ; 191, 3-17. S.l. : EPTCS, STARTPAGE=3;ENDPAGE=17;TITLE=Electronic Proceedings in Theoretical Computer Science ; 191, Matthes, R. (ed.), FICS 2015 : Proceedings Tenth International Workshop on Fixed Points in Computer Science Berlin, Germany, September 11-12, 2015, pp. 3-17
Accession number :: edsair.dedup.wf.001..090aa9391a0300396bbe78d8b008b174

Tools