Searching for "Classical Proofs as Programs." – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Classical Proofs and Programs
- …Classical Proofs and Programs Helmut Schwichtenberg, Universitat Munchen Contents 1 Introduction…
- Add To MetaCart
-
Classical Proofs as Programs, Cut Elimination as Computation
- …Classical Proofs as Programs, Cut Elimination as Computation (Draft) Ichiro Ogata Electrotechnical…
- Cited by 1 (1 self) – Add To MetaCart
-
A Proof Theoretical Account of Continuation Passing Style
- … fax. +81 298 61 5909 Abstract. We study "classical proofs as programs" paradigm in CallBy -Value (CBV…
- Cited by 3 (0 self) – Add To MetaCart
-
Cut Elimination for Classical Proofs as Continuation Passing Style Computation
- … proofs and CPS programs, there has been a lot of interest on programming in classical proofs…
- Cited by 4 (4 self) – Add To MetaCart
-
Gentzen-Style Classical Proofs as λμ-Terms
- … classical proofs and CPS programs, there has been much interest in programming of classical proofs…
- Add To MetaCart
-
About Classical Logic and Imperative Programming
- … of programs from classical proofs has been considered, since two or three years by several people (C. Murthy…
- Cited by 2 (0 self) – Add To MetaCart
-
Gentzen-Style Classical Proofs as λµ-Terms
- …] on the Curry-Howard correspondence between classical proofs and CPS programs, there has been much interest…
- Add To MetaCart
-
Sound and Complete Axiomatisations of Call-By-Value Control Operators
- … of Griffin (1990), has shown how programs with control operators can be extracted from classical proofs…
- Cited by 16 (1 self) – Add To MetaCart
-
Reasoning about Termination of Pure Prolog Programs
- … how to prove that a program is left terminating. Starting from Floyd [Flo67] the classical proofs…
- Cited by 108 (14 self) – Add To MetaCart
-
Explicit Substitutions for the Lambda-Mu Calculus
- … between intuitionistic proofs and programs. But, for \Pi 0 2 statements, classical and intuitionistic…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
