Copyright © 2006 Elsevier B.V. All rights reserved.
An arithmetic for polynomial-time computation
Available online 17 April 2006.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
We define a restriction LHA of Heyting arithmetic HA with the property that all extracted programs are feasible. The restrictions consist in linearity and ramification requirements.
Keywords: Polynomial-time; Linear Heyting arithmetic; Ramification






E-mail Article
Add to my Quick Links

Cited By in Scopus (0)







