Curry-Style Types for Nominal Terms

DOI10.1007/978-3-540-74464-1_9zbMATH Open1178.68150OpenAlexW1546270920MaRDI QIDQ3612440FDOQ3612440

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

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

zbMATH Keywords

polymorphismrewritingbindingtype inference

Mathematics Subject Classification ID

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

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
• Dependent types for nominal terms with atom substitutions
• Typed nominal rewriting
• 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)