scientific article; zbMATH DE number 1301738

zbMATH Open0927.03032MaRDI QIDQ4246951

César Muñoz

Publication date: 16 June 1999

Title of this publication is not available (Why is that?)

zbMATH Keywords

weak normalizationconfluencelambda calculussoundnesssubject reductionopen expressionstheory of dependent types with explicit substitutionstype uniqueness

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (2)

On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types ⋮ Proof-term synthesis on dependent-type systems via explicit substitutions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246951)