A Formal System for the Universal Quantification of Schematic Variables

DOI10.1145/3470646MaRDI QIDQ5056357zbMATH OpenOpenAlexFDO

Authors Ferruccio Guidi

Publication date 8 December 2022

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1911.12749

zbMATH Keywords

explicit substitutionsextended applicability conditioninfinite degrees of termspreservation of validityquantified schematic variablesstrong normalizationterms as types

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• The formal system λδ
• Some lambda calculus and type theory formalized
• On the expressive power of schemes
• scientific article; zbMATH DE number 512879
• A modular construction of type theories

This page was built for publication: A Formal System for the Universal Quantification of Schematic Variables

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