Algebra of Constructsion II: An Algebraic Approach to Martin-Löf Theory and the Calculus of Constructions.
Adam ObtulowiczPublished in: Math. Struct. Comput. Sci. (1993)
Keyphrases
- algebraic structure
- algebraic operations
- algebraic geometry
- information theory
- set theory
- computer algebra
- boolean algebra
- theoretical basis
- formal theory
- relation algebra
- real numbers
- theoretical framework
- query language
- general theory
- interval algebra
- database systems
- image processing
- artificial intelligence
- laplace transform
- data sets