Volume 49, Issue 2

August 2012

Special Issue: Theory and Applications of Abstraction, Substitution and Naming

Issue Editors:

8 articles in this issue

Preface: Theory and Applications of Abstraction, Substitution and Naming
Maribel Fernández
Christian Urban
EditorialNotes 02 March 2011 Pages: 111 - 114
Encoding Abstract Syntax Without Fresh Names
Matthew R. Lakin
Andrew M. Pitts
OriginalPaper 02 March 2011 Pages: 115 - 140
Strongly Typed Term Representations in Coq
Nick Benton
Chung-Kil Hur
Conor McBride
OriginalPaper 02 March 2011 Pages: 141 - 159
A Presheaf Environment for the Explicit Fusion Calculus
Filippo Bonchi
Maria Grazia Buscemi
Fabio Gadducci
OriginalPaper 17 March 2011 Pages: 161 - 183
A Canonical Locally Named Representation of Binding
Randy Pollack
Masahiko Sato
Wilmer Ricciotti
OriginalPaper 24 May 2011 Pages: 185 - 207
Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax
James Cheney
Michael Norrish
René Vestergaard
OriginalPaper 02 March 2011 Pages: 209 - 239
A Two-Level Logic Approach to Reasoning About Computations
Andrew Gacek
Dale Miller
Gopalan Nadathur
OriginalPaper 23 February 2011 Pages: 241 - 273
On Explicit Substitution with Names
Kristoffer H. Rose
Roel Bloo
Frédéric Lang
OriginalPaper 11 March 2011 Pages: 275 - 300

Search