TY - CONF
TI - Church-Rosser theorem for conjunctive type systems
AU - Κολέτσος, Γεώργιος
AU - Σταυρινός, Γεωργιος
PY - 1997
SP - 25-37
PB - Πανεπιστήμιο Κύπρου
T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -