Sfoglia per Autore
Types for Proofs and Programs (International Workshop TYPES'95, Selected Papers)
1995-01-01 BERARDI S; M. COPPO
"Pruning Simply Typed Lambda Terms"
1996-01-01 S. BERARDI
"A Symmetric Lambda-Calculus for ``Classical'' Program Extraction"
1996-01-01 F. BARBANERA; S. BERARDI
"Proof-irrelevance out of Excluded Middle and Choice in the Calculus of Constructions."
1996-01-01 F. BARBANERA; S. BERARDI
"On the Constructive Content of the Axiom of Choice."
1998-01-01 S. BERARDI; M. BEZEM; T. COQUAND
Intuitionistic Completness for First Order Classical Logic
1999-01-01 S. BERARDI
Total functionals and well-founded strategies
1999-01-01 STEFANO BERARDI; U. DE' LIGUORO
Type-based useless-code elimination for functional programs - Position paper
2000-01-01 Stefano Berardi; Ferruccio Damiani; Mario Coppo; Paola Giannini
Type Based Useless-Code Elimination for Functional Programs
2000-01-01 BERARDI S.; M. COPPO; DAMIANI F.; GIANNINI P.
Beta-eta-complete models for System F
2002-01-01 S. BERARDI; C. BERLINE
A Full Continuous Model of Polymorphism
2003-01-01 F. BARBANERA.; S. BERARDI
Krivine's intuitionistic proof of Classical Completeness
2004-01-01 S. BERARDI; S. VALENTINI
Building Continuous Webbed Model for system F
2004-01-01 S. BERARDI; C. BERLINE
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles
2004-01-01 S. BERARDI; Y. AKAMA; S. HAYASHI; U. KOHLENBACK
Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
2004-01-01 S. BERARDI; M. COPPO; F. DAMIANI
A generalization of conservativity theorem for classical versus intuitionistic arithmetic
2004-01-01 S. BERARDI
Classical Logic as Limit Completion
2005-01-01 S. BERARDI
Some intuitionistic equivalents of classical principles for degree 2 formulas
2006-01-01 S. BERARDI
Positive Arithmetic Without Exchange Is a Subclassical Logic
2007-01-01 S. BERARDI; M. TATSUTA
Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves
2007-01-01 S. BERARDI
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