An axiomatic approach to metareasoning on nominal algebras in HOAS (2001) [15 citations — 1 self]
Download:
pdf
by Furio Honsell, Marino Miculan, Ivan Scagnetto
Leeuwen (Eds.), 28th International Colloquium on Automata, Languages and Programming, ICALP 2001
http://www.dimi.uniud.it/~miculan/Papers/ICALP01.pdf
Add To MetaCart
Abstract:
HOAS ⋆
Citations
| 530 | A framework for defining logics – Harper, Honsell, et al. - 1993 |
| 97 | Abstract Syntax and Variable Binding – Fiore, Plotkin, et al. - 1999 |
| 83 | A new approach to abstract syntax involving binders – Gabbay, Pitts - 1999 |
| 67 | Semantical analysis of higher-order abstract syntax – Hofmann - 1999 |
| 13 | A natural deduction approach to dynamic logics – Honsell, Miculan - 1995 |
| 12 | Higher-order syntax in Coq – Despeyroux, Felty, et al. - 1995 |
| 12 | A theory of inductive definitions with α-equivalence: Semantics, implementation, programming language – Gabbay - 2000 |
| 6 | Primitive recursion for higher order abstract syntax – Despeyroux, Pfenning, et al. - 1996 |
| 1 | Using functor categories to explain and justify an axiomatization of variables and schemata in HOAS – Bucalo, Hofmann, et al. - 2001 |
