Journals in DBLP
Lambert G. L. T. Meertens Paramorphisms. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1992, v:4, n:5, pp:413-424 [Journal ] Jonathan P. Seldin Coquand's Calculus of Constructions: A Mathematical Foundation for a Proof Development System. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1992, v:4, n:5, pp:425-441 [Journal ] Zhiming Liu , Mathai Joseph Transformation of Programs for Fault-Tolerance. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1992, v:4, n:5, pp:442-469 [Journal ] J. Roger Hindley Types with Intersection: An Introduction. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1992, v:4, n:5, pp:470-486 [Journal ] Andrew Kay , Peter Lupton Sequential to Parallel Buffer Refinement (Short Communication). [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1992, v:4, n:5, pp:487-492 [Journal ]