Logic Colloquium'82 : proceedings of the Colloquium held in Florence 23-28 August, 1982 - Logic Colloquium (1982 : Florence, Italy); Lolli, G. (Gabriele), 1942-; Longo, G. (Giuseppe); Marcja, A. (Annalisa) (Amsterdam : North-Holland, 1984)
Bibliography: p.358
1
Keywords: Model theory -- Congresses; Categories (Mathematics) -- Congresses; Lambda calculus -- Congresses