ASCHIERI, FEDERICO
ASCHIERI, FEDERICO
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.013 secondi).
A New Use of Friedman’s Translation: Interactive Realizability
2013-01-01 Federico Aschieri, Stefano Berardi
A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization
2008-01-01 C. Biasi; F. Aschieri
Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
2010-01-01 Federico Aschieri; Stefano Berardi
Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1
2009-01-01 F. Aschieri; S. Berardi
Realizability and strong normalization for a curry-howard interpretation of HA + EM1
2013-01-01 Aschieri, Federico; Berardi, Stefano; Birolo, Giovanni
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A New Use of Friedman’s Translation: Interactive Realizability | 2013 | Federico Aschieri, Stefano Berardi | |
| A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization | 2008 | C. Biasi; F. Aschieri | |
| Interactive Learning-Based Realizability for Heyting Arithmetic with EM1 | 2010 | Federico Aschieri; Stefano Berardi | |
| Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1 | 2009 | F. Aschieri; S. Berardi | |
| Realizability and strong normalization for a curry-howard interpretation of HA + EM1 | 2013 | Aschieri, Federico; Berardi, Stefano; Birolo, Giovanni |