Stefano Berardi, Yoriyuki Yamagata  Home/Search
Context
Related
| staff.aist.go.jp/yoriyuk...clac2006.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: staff.aist.go.jp/yoriyuki.yama... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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