Logical frameworks - Huet, Gérard 1947- (Cambridge Univ. Press, 1991)
Keywords: Computational logic; Aufsatzsammlung