The language of Stratified Sets is confluent and strongly normalising.

Murdoch James Gabbay

Published in: CoRR (2017)

Keyphrases

programming language
language learning
database
databases
machine learning
natural language
object oriented
computational linguistics
information systems
relational databases
target language
pattern languages
specification language
language acquisition
formal language
java programming