On the Notion of Substitution

DOI10.1093/jigpal/12.2.111zbMath1060.03032OpenAlexW2045348838MaRDI QIDQ4821649

Marcel Crabbé

Publication date: 21 October 2004

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/28dbf1c89f36976bc41b38ff757991ca09e95524

zbMATH Keywords

two-sorted structuresaxiomatization for the concept of substitutionsubstitution logos

Mathematics Subject Classification ID

Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Capture-avoiding substitution as a nominal algebra ⋮ a-Logic With Arrows ⋮ Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras ⋮ A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets ⋮ Cuts and gluts

This page was built for publication: On the Notion of Substitution