The following pages link to Extensional Rewriting with Sums (Q3612636):
Displaying 8 items.
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics (Q2037304) (← links)
- The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives (Q2118979) (← links)
- A refined interpretation of intuitionistic logic by means of atomic polymorphism (Q2186692) (← links)
- The naturality of natural deduction (Q2631649) (← links)
- Big-step normalisation (Q3638919) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type (Q5111301) (← links)
- Normalization by evaluation for modal dependent type theory (Q6065506) (← links)
