Inductive Data Types Based on Fibrations Theory in Programming
Traditional methods including algebra and category theory have some deficiencies in analyzing semantics properties and describing inductive rules of inductive data types, we present a method based on Fibrations theory aiming at those questions above. We systematically analyze some basic logical stru...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of Zagreb Faculty of Electrical Engineering and Computing
2016-03-01
|
| Series: | Journal of Computing and Information Technology |
| Subjects: | |
| Online Access: | http://cit.fer.hr/index.php/CIT/article/view/2716/2052 |