scientific article
From MaRDI portal
Publication:2871859
zbMath1278.03033MaRDI QIDQ2871859
Stefan Berghofer, Christian Urban
Publication date: 10 January 2014
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066107002319?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Binding in Nominal Equational Logic ⋮ Rensets and renaming-based recursion for syntax with bindings extended version ⋮ Variable binding and substitution for (nameless) dummies ⋮ Variable binding and substitution for (nameless) dummies ⋮ Alpha equivalence equalities ⋮ A formalized general theory of syntax with bindings: extended version ⋮ Iteration and labelled iteration ⋮ A Mechanized Model of the Theory of Objects ⋮ Rensets and renaming-based recursion for syntax with bindings ⋮ Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention
Uses Software
This page was built for publication:
