理论计算机科学 程序理论 释文 monadic semantics 单子语义
- categorial presupposition
- categoric
- categorical
- categorical authentication
- categorical axiom system
- categorical class
- categorical classification of archives
- categorical data analysis
- categorical duality
- categorical game
- categorical grammar
- categorical grammar, CG
- categorical imperative
- categorical judgement
- categorical logic
- categorical method
- categorical model
- categoricalness
- categorical perception of speech segment
- categorical product
- categorical proposition
- categorical quotient
- categorical response
- categorical semantics
- categorical sum