Extensional Rewriting with Sums
From MaRDI portal
Publication:3612636
DOI10.1007/978-3-540-73228-0_19zbMath1215.03026OpenAlexW1586093680MaRDI QIDQ3612636
Publication date: 10 March 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73228-0_19
Related Items (8)
The naturality of natural deduction ⋮ A refined interpretation of intuitionistic logic by means of atomic polymorphism ⋮ Normalization by evaluation for modal dependent type theory ⋮ How to prove decidability of equational theories with second-order computation analyser SOL ⋮ What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics ⋮ Big-step normalisation ⋮ The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type ⋮ The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
This page was built for publication: Extensional Rewriting with Sums
