A New Approach to Abstract Syntax Involving Binders (1999)

by Murdoch Gabbay , Andrew Pitts
Venue:In 14th Annual Symposium on Logic in Computer Science
Citations:146 - 14 self

Documents Related by Co-Citation

142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
96 Semantical analysis of higher-order abstract syntax – M Hofmann - 1999
123 Primitive Recursion for Higher-Order Abstract Syntax – Joëlle Despeyroux, Frank Pfenning - 1997
161 Nominal Logic: A First Order Theory of Names and Binding – Andrew M. Pitts - 2001
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
36 An Extension to ML to Handle Bound Variables in Data Structures – Dale Miller - 1990
88 A Metalanguage for Programming with Bound Names Modulo Renaming – Andrew M. Pitts, Murdoch J. Gabbay - 2000
137 A Spatial Logic for Concurrency (Part I) – Luis Caires, Luca Cardelli - 2002
783 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
51 Five axioms of alpha-conversion – Andrew D. Gordon, Tom Melham - 1996
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
17 A Theory of Inductive Definitions with α-Equivalence: Semantics, Implementation, Programming Language – M J Gabbay - 2000
154 De Bruijn, Lambda calculus notation with nameless dummies: A tool for automatic formula manipulation, with application to the church-rosser theorem, Indagationes Mathematicae 34 – N G - 1972
107 An algorithm for testing conversion in Type Theory – Thierry Coquand - 1991
46 Logical properties of name restriction – Luca Cardelli, Andrew D. Gordon - 2001
90 Reasoning with higher-order abstract syntax in a logical framework – Raymond C. Mcdowell, Dale A. Miller - 2002
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
194 The Logic of Bunched Implications – Peter W. O'Hearn, David J. Pym - 1999