TY - CONF
TI - Cut elimination in the simply lambda calculus
AU - Ghilezan, Silvia
PY - 1997
SP - 21-24
PB - Πανεπιστήμιο Κύπρου
T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -