scientific article; zbMATH DE number 7700635

DOI10.4230/LIPICS.FSCD.2021.30arXiv2105.00969MaRDI QIDQ6159946

Dylan McDermott, Nathanael Arkor

Publication date: 23 June 2023

Full work available at URL: https://arxiv.org/abs/2105.00969

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

presentationsinductionfree algebrassubstitutionabstract cloneslogical relationsvariable bindingsecond-order abstract syntaxsimple type theories

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

Related Items (2)

Variable binding and substitution for (nameless) dummies ⋮ Variable binding and substitution for (nameless) dummies

This page was built for publication: