@inproceedings{1046295,
    title = "Cut elimination in the simply lambda calculus",
    author = "Ghilezan, Silvia",
    year = "1997",
    pages = "21-24",
    publisher = "Πανεπιστήμιο Κύπρου",
    booktitle = "Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά"
}