Comment Comment by carlehewitt The relationship with theories of information is explained in Strong Types for Direct Logic here: https://hal.archives-ouvertes.fr/hal-01566393 parent carlehewitt 8 years ago
