Dependent Types for Nominal Terms with Atom Substitutions

DOI10.4230/LIPICS.TLCA.2015.180zbMath1433.03070OpenAlexW2298816506MaRDI QIDQ5277839

Maribel Fernández, Elliot Fairweather, Álvaro Tasistro, Nora Szasz

Publication date: 12 July 2017

Full work available at URL: https://doi.org/10.4230/lipics.tlca.2015.180

zbMATH Keywords

substitution\(\alpha\)-equivalencedependent typenominal term

Mathematics Subject Classification ID

Logic in computer science (03B70) Type theory (03B38)

Related Items (3)

Nominal essential intersection types ⋮ Nominal syntax with atom substitutions ⋮ Validating Brouwer's continuity principle for numbers using named exceptions

This page was built for publication: Dependent Types for Nominal Terms with Atom Substitutions