Publication:4525278
From MaRDI portal
zbMath0953.68569MaRDI QIDQ4525278
Publication date: 22 January 2001
Related Items
On explicit substitutions and names (extended abstract), Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids, Unnamed Item, POPLMark reloaded: Mechanizing proofs by logical relations, Kripke models for classical logic, Program extraction from normalization proofs, Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
Uses Software