Statistical properties of simple types (Q4526148)
From MaRDI portal
scientific article; zbMATH DE number 1553287
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Statistical properties of simple types |
scientific article; zbMATH DE number 1553287 |
Statements
Statistical properties of simple types (English)
0 references
10 May 2001
0 references
probability of finding an inhabited type
0 references
simply typed lambda calculus
0 references
probability of finding tautologies
0 references
intuitionistic propositional logic
0 references
