Coinductive predicates and final sequences in a fibration
HASUO, ICHIRO, KATAOKA, TOSHIKI, CHO, KENTALanguage:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129517000056
Date:
April, 2017
File:
PDF, 442 KB
english, 2017