On the computational representation of classical logical connectives. Electron. Notes Theor (0)

by Jayshan Raghunandan, Alexander J Summers
Venue:Proceedings of ‘Colloque sur la Programmation