calculus of constructions (Q858320)
Jump to navigation
Jump to search
formal system
- CoC
Language | Label | Description | Also known as |
---|---|---|---|
English | calculus of constructions |
formal system |
|
Statements
Identifiers
Sitelinks
Wikipedia(6 entries)
- enwiki Calculus of constructions
- eswiki Cálculo de construcciones
- frwiki Calcul des constructions
- ruwiki Исчисление конструкций
- ukwiki Числення конструкцій
- zhwiki 构造演算