Functional interpretations of feasibly constructive arithmetic
Stephen A Cook, Alasdair Urquhart · 1989
Article Free Access Share on Functional interpretations of feasibly constructive arithmetic Authors: S. Cook Department of Computer Science, University of Toronto, Toronto, Canada Department of Computer Science, University of Toronto, Toronto, CanadaView Profile , A. Urquhart Department of Philosophy, University of Toronto, Toronto, Canada Department of Philosophy, University of Toronto, Toronto, CanadaView Profile Authors Info & Claims STOC '89: Proceedings of the twenty-first annual ACM symposium on Theory of computingFebruary 1989 Pages 107–112https://doi.org/10.1145/73007.73017Online:01 February 1989Publication History 18citation150DownloadsMetricsTotal Citations18Total Downloads150Last 12 Months4Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF