 | 2011 |
|---|
| 5 |       | Federico Aschieri:
Transfinite Update Procedures for Predicative Systems of Analysis.
CSL 2011: 20-34 |
| 2010 |
|---|
| 4 | | Federico Aschieri:
Interactive Learning Based Realizability and 1-Backtracking Games
CL&C 2010: 6-20 |
| 3 | | Federico Aschieri,
Stefano Berardi:
Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
Logical Methods in Computer Science 6(3): (2010) |
| 2009 |
|---|
| 2 | | Federico Aschieri,
Stefano Berardi:
Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1.
TLCA 2009: 20-34 |
| 2008 |
|---|
| 1 | | Corrado Biasi,
Federico Aschieri:
A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization.
Fundam. Inform. 84(2): 185-205 (2008) |
Data released under the ODC-BY 1.0 license — See also our legal information page