scientific article
From MaRDI portal
Publication:2871861
zbMath1278.68248MaRDI QIDQ2871861
Stephanie Weirich, Brian E. Aydemir, Aaron Bohannon
Publication date: 10 January 2014
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066107002320?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (11)
Formal metatheory of the lambda calculus using Stoughton's substitution ⋮ Nominal abstraction ⋮ A formalized general theory of syntax with bindings ⋮ Nominal Sets in Agda - A Fresh and Immature Mechanization ⋮ A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols ⋮ A formalized general theory of syntax with bindings: extended version ⋮ Completeness in PVS of a nominal unification algorithm ⋮ Alpha-structural induction and recursion for the lambda calculus in constructive type theory ⋮ A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols ⋮ Formalisation in constructive type theory of Stoughton's substitution for the lambda calculus ⋮ Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention
Uses Software
This page was built for publication:
