scientific article; zbMATH DE number 2185723
From MaRDI portal
Publication:3024916
Recommendations
- scientific article; zbMATH DE number 1341617
- On the complexity of the reflected logic of proofs
- Reflection principles in computational logic
- scientific article; zbMATH DE number 863013
- scientific article; zbMATH DE number 1670575
- On the proof theory of Coquand's calculus of constructions
- Proof theory of reflection
- Proof-theoretic analysis by iterated reflection
- scientific article; zbMATH DE number 432706
- Reflection principles and provability algebras in formal arithmetic
Cited in
(20)- Proof-theoretic analysis by iterated reflection
- The calculus of constructions as a framework for proof search with set variable instantiation
- Dealing with algebraic expressions over a field in Coq using Maple
- On the complexity of the reflected logic of proofs
- Compositional computational reflection
- A bi-directional refinement algorithm for the calculus of (co)inductive constructions
- Proof-producing reflection for HOL. With an application to model polymorphism
- Elaborator reflection: extending Idris in Idris
- scientific article; zbMATH DE number 432706 (Why is no real title available?)
- A reflective functional language for hardware design and theorem proving
- scientific article; zbMATH DE number 41858 (Why is no real title available?)
- scientific article; zbMATH DE number 1341617 (Why is no real title available?)
- scientific article; zbMATH DE number 732055 (Why is no real title available?)
- scientific article; zbMATH DE number 1006087 (Why is no real title available?)
- scientific article; zbMATH DE number 2090314 (Why is no real title available?)
- Computational reflection via mechanized logical deduction
- Algebraic Methodology and Software Technology
- Lightweight proof by reflection using a posteriori simulation of effectful computation
- On the proof theory of Coquand's calculus of constructions
- Directly reflective meta-programming
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 Q3024916)
