Functional Interpretations of Feasibly Constructive Arithmetic (Extended Abstract) - researchr publication

researchr

You are not signed in
Sign in
Sign up

Stephen A. Cook, Alasdair Urquhart. Functional Interpretations of Feasibly Constructive Arithmetic (Extended Abstract). In Proceedings of the Twenty-First Annual ACM Symposium on Theory of Computing, 15-17 May 1989, Seattle, Washington, USA. pages 107-112, ACM, 1989.

Abstract is missing.

runs on WebDSL