scientific article
From MaRDI portal
Publication:2703747
zbMath0970.68038MaRDI QIDQ2703747
Publication date: 8 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations, The ESA XMM-Newton science operations centre: making basic space science available to the whole scientific world', A formalization of the Knuth-Bendix(-Huet) critical pair theorem, A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names., On generic context lemmas for higher-order calculi with sharing, Formalisation in constructive type theory of Stoughton's substitution for the lambda calculus, A PVS Theory for Term Rewriting Systems
