Similar Items: Are there Hilbert-style Pure Type Systems?
- A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
- Hilbert's Tenth Problem in Coq (Extended Version)
- Finite dimensional Hilbert spaces are complete for dagger compact closed categories
- Non-idempotent types for classical calculi in natural deduction style
- Pure Nash Equilibria in Concurrent Deterministic Games
- Efficient Numerical Integration in Reproducing Kernel Hilbert Spaces via Leverage Scores Sampling