scientific article; zbMATH DE number 2208065
From MaRDI portal
Publication:5693576
zbMath1073.03007MaRDI QIDQ5693576
Fairouz Kamareddine, Mauricio Ayala-Rincón
Publication date: 26 September 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Unification for $$\lambda $$ -calculi Without Propagation Rules ⋮ Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions ⋮ Comparing and implementing calculi of explicit substitutions with eta-reduction
This page was built for publication:
