[carlehewitt]

The relationship with theories of information is explained in Strong Types for Direct Logic here: https://hal.archives-ouvertes.fr/hal-01566393

[jchassoul]

Thanks professor, looking forward to join your keynote at code mesh.

https://codesync.global/speaker/carl-hewitt/