Journals in DBLP
Gérard P. Huet Special issue on 'Logical frameworks and metalanguages'. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2003, v:13, n:2, pp:257-260 [Journal ] Gilles Barthe , Venanzio Capretta , Olivier Pons Setoids in type theory. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2003, v:13, n:2, pp:261-293 [Journal ] Michael Y. Levin , Benjamin C. Pierce TinkerType: a language for playing with formal systems. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2003, v:13, n:2, pp:295-316 [Journal ] Zhaohui Luo PAL + : a lambda-free logical framework. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2003, v:13, n:2, pp:317-338 [Journal ] Daria Walukiewicz-Chrzaszcz Termination of rewriting in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2003, v:13, n:2, pp:339-414 [Journal ] Christine Röckl , Daniel Hirschkoff A fully adequate shallow embedding of the [pi]-calculus in Isabelle/HOL with mechanized syntax analysis. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2003, v:13, n:2, pp:415-451 [Journal ]