TY  - GEN
AU  - Lolli, G.
AU  - Longo, G.
AU  - 
TI  - LOGIC COLLOQUIUM' 82
U1  - 511.8 
PY  - 1984///
CY  - Amsterdam
PB  - North-Holland
KW  - Model Theory -- Congresses
KW  - Categories (Mathematics) -- Congresses
KW  - Lambda Calculus -- Congresses
ER  -