Back to Search
Start Over
Confluence properties of weak and strong calculi of explicit substitutions
- Source :
- Journal of the Association for Computing Machinery. March, 1996, Vol. v43 Issue n2, p362, 36 p.
- Publication Year :
- 1996
- Subjects :
- Calculus -- Analysis
Programming languages -- Research
Subjects
Details
- ISSN :
- 00045411
- Volume :
- v43
- Issue :
- n2
- Database :
- Gale General OneFile
- Journal :
- Journal of the Association for Computing Machinery
- Publication Type :
- Academic Journal
- Accession number :
- edsgcl.19787801