A Fibrational Method of Indexed Coinductive Data Types
-
Published:2020-04
Issue:2
Volume:27
Page:
-
ISSN:1330-3651
-
Container-title:Tehnicki vjesnik - Technical Gazette
-
language:
-
Short-container-title:Teh. vjesn
Publisher
Mechanical Engineering Faculty in Slavonski Brod
Subject
General Engineering