Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

72

Voted

APAL
2008

45views more APAL 2008»

A sequent calculus for limit computable mathematics

15 years 2 months ago

A sequent calculus for limit computable mathematics

Download www.jaist.ac.jp

Stefano Berardi, Yoriyuki Yamagata

Real-time Traffic

APAL 2008 |

claim paper

Related Content

» A Proof Calculus Which Reduces Syntactic Bureaucracy

» Defining Differentiation and Integration in Z

» Lambda Types on the Lambda Calculus with Abbreviations

» A Semantic Theory for Concurrent ML

Post Info
More Details (n/a)

Added	08 Dec 2010
Updated	08 Dec 2010
Type	Journal
Year	2008
Where	APAL
Authors	Stefano Berardi, Yoriyuki Yamagata

Comments (0)