Results 1 -
0 of
0
No citations were found for this document.
The theory of calculi with explicit substitutions revisited (2007)
by Delia Kesner
| Venue: | Proceedings of the 16th Annual Conference of the European THEORY OF EXPLICIT SUBSTITUTIONS WITH SAFE AND FULL COMPOSITION 27 [Kes08] [Kik07] [KL05] [KL07] [KL08] [KR09] [Klo80] [KR97] [KR98] [LDM06] [Len06] [Lin86] [Lin92] [LLD + 04] [LM99] [LRD94] [LRD95 |
