Journals in DBLP

Higher-Order and Symbolic Computation
2006, volume: 19, number: 2-3

1. Furio Honsell, Carolyn L. Talcott
   Editorial. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:167-168 [Journal]
   
2. Michael Norrish
   Mechanising lambda-calculus using a classical first order theory of terms with permutations. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:169-195 [Journal]
   
3. Jason Hickey, Aleksey Nogin
   Formal compiler construction in a logical framework. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:197-230 [Journal]
   
4. Makoto Hamana
   An initial algebra approach to term rewriting systems with variable binders. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:231-262 [Journal]
   
5. Neil Ghani, Tarmo Uustalu, Makoto Hamana
   Explicit substitutions and higher-order syntax. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:263-282 [Journal]
   
6. Fabio Gadducci, Marino Miculan, Ugo Montanari
   About permutation algebras, (pre)sheaves and named sets. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:283-304 [Journal]
   
7. Miki Tanaka, John Power
   Pseudo-distributive laws and axiomatics for variable binding. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:305-337 [Journal]