On explicit substitutions and names (extended abstract)
From MaRDI portal
Publication:4571957
DOI10.1007/3-540-63165-8_182zbMath1401.68034OpenAlexW1490159878WikidataQ56994593 ScholiaQ56994593MaRDI QIDQ4571957
Eike Ritter, V. C. V. de Paiva
Publication date: 4 July 2018
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-63165-8_182
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An abstract framework for environment machines
- Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL
- (In)consistency of Extensions of Higher Order Logic and Type Theory
- Confluence properties of weak and strong calculi of explicit substitutions
- On explicit substitutions and names (extended abstract)
- Explicit Substitutions à la de Bruijn
- Explicit substitutions
This page was built for publication: On explicit substitutions and names (extended abstract)