See this document in CiteSeerX!

A Sequent Calculus for Limit Computable Mathematics (2006)  (Make Corrections)  
Stefano Berardi, Yoriyuki Yamagata



  Home/Search   Context   Related

 
View or download:
staff.aist.go.jp/yoriyuk...clac2006.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  staff.aist.go.jp/yoriyuki.yama... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We prove a kind of Curry-Howard isomorphism, with some set of recursive winning strategies taking the place of typed #-terms, and some set of classical proofs taking the place of intuitionistic proofs. (Update)

Active bibliography (related documents):   More   All
0.5:   Negation and Inductive Norms - McColm (2003)   (Correct)
0.2:   Linear Higher-Order Pre-Unification - Iliano Cervesato, Frank Pfenning (1997)   (Correct)
0.0:   Dependent Choice, `quote' and the Clock - Krivine (2002)   (Correct)

Similar documents based on text:
6.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ berardi-sequent,
  author = "Stefano Berardi and Yoriyuki Yamagata",
  title = "A Sequent Calculus for Limit Computable Mathematics",
  url = "citeseer.ist.psu.edu/berardi06sequent.html" }
Citations (may not include all citations):
21   A semantics of evidence for classical arithmetic (context) - Coquand - 1995
5   Sequents qu'on calcule: de l'interpretation du calcul des se.. (context) - Herbelin - 1995
2   Logic and Games (context) - Hodges - 2004
1   Algorithmic Learning Theory (context) - Hayashi, on
1   Can proofs be animated by games (context) - Hayashi - 2005
1   it stefanoYamagata Berardi report (context) - sequent, backtracking et al. - 2005
1   Games with 1-backtracking (context) - Berardi, Coquand et al. - 2005

Documents on the same site (http://staff.aist.go.jp/yoriyuki.yamagata/):
Strong Normalization of Second Order Symmetric Lambda-mu Calculus - Yamagata (2001)   (Correct)
Strong Normalization of a Symmetric Lambda Calculus for Second.. - Yamagata   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC