• Home
  • tame abstract elementary class

tame abstract elementary class

abstract elementary class which satisfies a locality property for types

en-GB/ˈteɪm əbˈstɹækt ˌɛlɪˈmɛntəɹɪ ˈklɑːs/
en-US/ˈteɪm ˈæbˌstɹæktn ˌɛləˈmɛnt͡ʃɹi ˈklæs/

Categories:

abstract elementary class