The language of Stratified Sets is confluent and strongly normalising.

Murdoch James Gabbay

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

programming language
language learning
specification language
database
real time
computer vision
database systems
computer programs
object oriented programming
pattern languages
english language
declarative language