Explicit Substitutions and Higher-Order Syntax (Extended Abstract) (2003)
by
Neil Ghani
,
Tarmo Uustalu
| Venue: | in Proc. of 2nd ACM SIGPLAN Wksh. on Mechanized Reasoning about Languages with Variable Binding, MERLIN'03 |
| Citations: | 4 - 3 self |
BibTeX
@INPROCEEDINGS{Ghani03explicitsubstitutions,
author = {Neil Ghani and Tarmo Uustalu},
title = {Explicit Substitutions and Higher-Order Syntax (Extended Abstract)},
booktitle = {in Proc. of 2nd ACM SIGPLAN Wksh. on Mechanized Reasoning about Languages with Variable Binding, MERLIN'03},
year = {2003},
pages = {1--7},
publisher = {ACM Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Neil Ghani Dept. of Math. and Comp. Sci.
Citations
| 36 | Infinite trees and completely iterative theories: A coalgebraic view, Theoret - Aczel, Adámek, et al. |
| 17 | Free iterative theories: A coalgebraic view - Adámek, Milius, et al. |
| 4 | On rational monads and free iterative theories - Adámek, Milius, et al. - 2002 |
