Partial Inductive Definitions as Type-Systems for lambda-Terms.
Daniel FredholmSvetozar SerafimovskiPublished in: BIT (1992)
Keyphrases
- intelligent systems
- computer vision
- complex systems
- expert systems
- artificial neural networks
- distributed systems
- computational intelligence
- type checking
- fixed point
- building blocks
- knowledge based systems
- computer systems
- neural network
- multi agent systems
- natural language
- image sequences
- information retrieval
- machine learning