Diese Seite auf DeutschCette page en françaisThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://www.philosophie.ch/profil/stewart-ca

Charles Alexander Stewart (stewart-ca)

Contributi a Philosophie.ch

No contributions yet

Bibliography

    Stewart, Charles Alexander. 1999. “On the Formulae-as-Types Correspondence for Classical Logic.” PhD dissertation, Oxford: Oxford University Computing Laboratory.