scientific article; zbMATH DE number 1555179
From MaRDI portal
Publication:4525278
zbMath0953.68569MaRDI QIDQ4525278
Publication date: 22 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (max. 100)
Semantic analysis of normalisation by evaluation for typed lambda calculus ⋮ Categorical reconstruction of a reduction free normalization proof ⋮ Unnamed Item ⋮ On explicit substitutions and names (extended abstract) ⋮ POPLMark reloaded: Mechanizing proofs by logical relations ⋮ Kripke models for classical logic ⋮ Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids ⋮ Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus ⋮ Program extraction from normalization proofs
Uses Software
This page was built for publication: