Gianluigi Bellin (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

6

Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban: Categorical proof theory of classical propositional calculus. Theor. Comput. Sci. 364(2): 146-165 (2006)

Selection of 1 from 6 records - Gianluigi Bellin has 7 coauthors