Abstract
This paper deals with the interconversion between Cartesian product types and tuple types and their integration for measures in higher dimensional spaces. We prove the universality between both types and construct a measure (and also underlying integral) based on the set of tuple types.
Language: English
Page range: 149 - 163
Submitted on: Dec 9, 2024
Published on: Dec 31, 2024
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
Related subjects:
© 2024 Noboru Endou, Yasunari Shidama, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.