Original Title:
Cut elimination in the simply lambda calculus
Languages of Item:
English
Creator:
Ghilezan, Silvia
Main subject category:
Logic
Other subject categories:
Mathematics
Keywords:
Cut elimination, lambda calculus
Notes:
Περιλαμβάνει περίληψη στα αγγλικά και βιβλιογραφικές αναφορές
