Coinductive predicates and final sequences in a fibration

Thumbnail Image

Files

Primary 189769.pdf (632.59 KB)

Date

2018

Authors

Hasuo, Ichiro
Kataoka, T.
Cho, K. Kelly

Journal Title

Journal ISSN

Volume Title

Publisher

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/189769

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By