Coinductive predicates and final sequences in a fibration

From MaRDI portal
Publication:265811

DOI10.1016/j.entcs.2013.09.014zbMath1334.68136OpenAlexW2139427429WikidataQ113317961 ScholiaQ113317961MaRDI QIDQ265811

Ichiro Hasuo, Toshiki Kataoka, Kenta Cho

Publication date: 12 April 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2013.09.014




Related Items (7)


Uses Software


Cites Work




This page was built for publication: Coinductive predicates and final sequences in a fibration