Curry-Style Types for Nominal Terms

DOI10.1007/978-3-540-74464-1_9zbMath1178.68150OpenAlexW1546270920MaRDI QIDQ3612440

Maribel Fernández, Murdoch James 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

polymorphismrewritingtype inferencebinding

Mathematics Subject Classification ID

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

Related Items (5)

Nominal rewriting ⋮ Nominal essential intersection types ⋮ Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms ⋮ Principal Types for Nominal Theories ⋮ Two-level Lambda-calculus

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