ASCHIERI, FEDERICO
ASCHIERI, FEDERICO
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.01 secondi).
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 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 |