Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF.
Stephen D. BrookesShai GevaPublished in: MFPS (1993)
Keyphrases
- programming language
- relational structures
- real world
- information systems
- data abstraction
- language learning
- high level
- natural language
- application domains
- complex domains
- functional language
- computational linguistics
- cross domain
- sequential data
- language processing
- representation language
- english language
- object oriented
- reasoning processes
- data sets