Curry-Style Types for Nominal Terms

DOI10.1007/978-3-540-74464-1_9MaRDI QIDQ3612440zbMATH OpenOpenAlexFDO

Authors Maribel Fernández, Murdoch J. Gabbay

Publication date 10 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74464-1_9

zbMATH Keywords

polymorphismrewritingbindingtype inference

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Principal types for nominal theories
• Typed nominal rewriting
• Nominal essential intersection types
• Dependent types for nominal terms with atom substitutions
• A simple nominal type theory

Cited in

(7)

• Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms
• Nominal essential intersection types
• Principal types for nominal theories
• Typed nominal rewriting
• Dependent types for nominal terms with atom substitutions
• Nominal rewriting
• Two-level lambda-calculus

This page was built for publication: Curry-Style Types for Nominal Terms

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