Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
Realizability and strong normalization for a curry-howard interpretation of HA + EM1
2013-01-01 Aschieri, Federico; Berardi, Stefano; Birolo, Giovanni
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
A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization
2008-01-01 C. Biasi; F. Aschieri
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Realizability and strong normalization for a curry-howard interpretation of HA + EM1 | 2013 | Aschieri, Federico; Berardi, Stefano; Birolo, Giovanni | |
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 | |
A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization | 2008 | C. Biasi; F. Aschieri |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile