The following posts are in reverse chronological order: newest posts are first.
| topics | date | title |
|---|---|---|
| Information Theory, Type Theory | 2020-01-31 | The Information Theory of Types |
| Software Quality, Formal Methods, Type Theory | 2020-01-31 | On Functional Software Testing: How Do I Know f Is Right For Me? |