Sfoglia per Autore
Special Issue: Classical Logic and Computation (2006)
2008-01-01 Stefano Berardi; Steffen Van Bakel
Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca
2008-01-01 Stefano Berardi; Ugo de' Liguoro
Logic for Pragmatics
2008-01-01 G. Bellin; S. Berardi; T. Crolard
A Calculus of Realizers for EM1-Arithmetic
2008-01-01 Stefano Berardi; Ugo De' Liguoro
International Conference TYPES 2008
2008-01-01 Stefano Berardi; Lorenzo Bettini; Mario Coppo; Ferruccio Damiani; Mariangiola Dezani; Ugo de' Liguoro; Mauro Piccolo
A sequent calculus for limit computable mathematics
2008-01-01 Stefano Berardi; Yoriyuki Yamagata
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
2009-01-01 Stefano Berardi; Ferruccio Damiani; Ugo De' Liguoro
Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1
2009-01-01 F. Aschieri; S. Berardi
Toward the interpretation of non constructive reasoning as non-monotonic learning
2009-01-01 Stefano Berardi; Ugo de' Liguoro
Preface
2010-01-01 Steffen van Bakel;Stefano Berardi;Ulrich Berger
Games with 1-backtracking
2010-01-01 Stefano Berardi; Thierry Coquand; Susumu Hayashi
Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
2010-01-01 Federico Aschieri; Stefano Berardi
Internal Normalization, Compilation and Decompilation for System F
2010-01-01 Stefano Berardi; Makoto Tatsuta
Non-Commutative Infinitary Peano Arithmetic
2011-01-01 M. Tatsuta; S. Berardi
Interactive realizers. A new approach to program extraction from non constructive proofs
2012-01-01 Stefano Berardi; Ugo de'Liguoro
Internal Models of System F for Decompilation
2012-01-01 Stefano Berardi; Makoto Tatsuta
Knowledge Spaces and the Completeness of Learning Strategies
2012-01-01 Stefano Berardi; Ugo de'Liguoro
Preface
2013-01-01 S. van Bakel; S. Berardi; U. Berger
Games with sequential backtracking and complete game semantics for subclassical logics
2013-01-01 Berardi, Stefano; Tatsuta, Makoto
Non-monotonic Pre-fixed Points and Learning
2013-01-01 Stefano Berardi; Ugo de'Liguoro
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