scientific article; zbMATH DE number 1088030

zbMath0884.03012MaRDI QIDQ4364378

César A. Muñoz H.

Publication date: 17 November 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

open expressions\(\lambda\)-calculi of explicit substitutions

Mathematics Subject Classification ID

Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions ⋮ Higher order unification via explicit substitutions

This page was built for publication: