Explicit Substitutions and Higher-Order Syntax (Extended Abstract) (2003)

Cached

Download Links

by Neil Ghani , Tarmo Uustalu
Venue:in Proc. of 2nd ACM SIGPLAN Wksh. on Mechanized Reasoning about Languages with Variable Binding, MERLIN'03
Citations:5 - 3 self

Documents Related by Co-Citation

6 and Tarmo Uustalu, Substitution in non-wellfounded syntax with variable binding, Theor – Ralph Matthes
46 Semantics of Name and Value Passing – Marcelo Fiore, Daniele Turi - 2001
4 A unified categorytheoretic formulation of typed binding signatures – M Tanaka, A J Power - 2005
218 Caotegories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics – S Mac Lane - 1971
12 Categorical Term Rewriting: Monads and Modularity – Christoph Lüth - 1998
7 Monads and Modularity – Christoph Lüth, Neil Ghani
20 Monads and Modular Term Rewriting – Christoph Lüth, Neil Ghani - 1997
16 Algebraic theories,” Graduate Texts – E G Manes - 1976
42 Toposes, Triples, and Theories. Grundlehren der mathematischen Wissenschaften – Michael Barr, Charles F Wells - 1985
196 Locally Presentable and Accessible Categories – Adámek, Rosicky - 1994
142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
3 lambda calcul vu comme monade initiale, Master’s thesis, Université de Nice – Julianna Zsidó, Le
2 Abstract syntax and variable binding, LICS ’99 – Marcelo Fiore, Gordon Plotkin, Daniele Turi - 1999
10 Generalised folds for nested datatypes. Formal Aspects of Computing 11(2 – R Bird, R Paterson - 1999
4 Modules over Monads and Linearity – André Hirschowitz, Marco Maggesi
6 The Lambda Calculus is Algebraic – Peter Selinger - 1996
1 Models for operads. arXiv:hep-th/9411208v1 – Martin Markl - 1994
1 lambda calcul vu comme monade initiale. Master’s thesis, Université de Nice – Le
2 On the structure of substitution. Invited address for the 22nd – M P Fiore - 2006