scientific article; zbMATH DE number 1348466
From MaRDI portal
Publication:4264719
zbMath0925.03094MaRDI QIDQ4264719
Publication date: 7 October 1999
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)
Reduction and unification in lambda calculi with a general notion of subtype ⋮ Unification in an extensional lambda calculus with ordered function sorts and constant overloading ⋮ An algebraic semantics of higher-order types with subtypes
Uses Software
This page was built for publication:
