scientific article; zbMATH DE number 4006266
From MaRDI portal
Publication:3757915
Recommendations
Cited in
(32)- A Proof-Theoretic Account of Programming and the Role of Reduction Rules
- Full operational set theory with unbounded existential quantification and power set
- Proof of Correctness of Decision Table Programs
- Applicative theories for logarithmic complexity classes
- Formal proof of a program: find
- Programming as a mathematical exercise
- What Is the Difference Between Proofs and Programs?
- Explicit mathematics: power types and overloading
- Proving and programming
- Proof checking and logic programming
- Proofs as programs
- scientific article; zbMATH DE number 4147469 (Why is no real title available?)
- Partial Horn logic and Cartesian categories
- Proofs and programs
- Proof methods of declarative properties of definite programs
- On Feferman's operational set theory \textsf{OST}
- Writing programs that construct proofs
- scientific article; zbMATH DE number 3894466 (Why is no real title available?)
- Towards a computation system based on set theory
- A proof-theoretic characterization of the basic feasible functionals
- The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories
- The provably terminating operations of the subsystem PETJ of explicit mathematics
- Realizability interpretation of generalized inductive definitions
- Proving properties of Pascal programs in MIZAR 2
- Theories with self-application and computational complexity.
- The mathematical construction of a program
- scientific article; zbMATH DE number 3952752 (Why is no real title available?)
- Combining programming with theorem proving
- From programming-by-example to proving-by-example
- Operational closure and stability
- scientific article; zbMATH DE number 3859117 (Why is no real title available?)
- Type theory and proof processing systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3757915)
