3 ms·
The relationship with theories of information is explained in Strong Types for Direct Logic here: https://hal.archives-ouvertes.fr/hal-01566393 https://hal.arch
by carlehewitt 8y ago
The relationship with theories of information is explained in Strong Types for Direct Logic here: https://hal.archives-ouvertes.fr/hal-01566393 https://hal.archives-ouvertes.fr/hal-01566393
- jchassoul 8y agoThanks professor, looking forward to join your keynote at code mesh. https://codesync.global/speaker/carl-hewitt/ https://codesync.global/speaker/carl-hewitt/