Sfoglia per Autore  

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