1 “... on information theory, probability theory, and related fields. The methodologies offered here extend...”

2 “... research like the introduction of probability theory to type theories as well as computational...”