| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Federico Aschieri, Stefano Berardi: Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1. TLCA 2009: 20-34 |
| 2008 | ||
| 1 | EE | Corrado Biasi, Federico Aschieri: A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization. Fundam. Inform. 84(2): 185-205 (2008) |
| 1 | Stefano Berardi | [2] |
| 2 | Corrado Biasi | [1] |