Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2001, volume: 58, number: 1

1. Andreas Abel
   A Third-Order Representation of the lambda-mu-Calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal]
   
2. Simon Ambler, Roy L. Crole, Alberto Momigliano
   Preface: Mechanised Reasoning about Languages with Variable Binding 2001. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal]
   
3. Marino Miculan
   Developing (Meta)Theory of Lambda-calculus in the Theory of Context. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal]
   
4. Dale Miller
   Encoding Generic Judgments: Preliminary results. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal]
   
5. Christine Röckl
   A First-Order Syntax for the Pi-Calculus in Isabelle/HOL using Permutations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal]
   
6. Carsten Schürmann, Dachuan Yu, Zhaozhong Ni
   A Representation of Fomega in LF. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal]
   
7. René Vestergaard, James Brotherston
   The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal]