A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems.
Fairouz KamareddineTwan LaanPublished in: J. Log. Lang. Inf. (2001)
Keyphrases
- conceptual framework
- data sets
- theoretical basis
- computational models
- learning systems
- multi agent
- formal theory
- formal methods
- multiple types
- theoretical framework
- medical images
- user interface
- multiscale
- image sequences
- three dimensional
- case study
- decision trees
- image processing
- information systems
- genetic algorithm
- machine learning