Items where author is "García Pérez, Álvaro"
![]() | Up a level |
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.
Thesis
García Pérez, Álvaro (2014). Operational Aspects of Full Reduction in Lambda Calculi. Thesis (Doctoral), E.T.S. de Ingenieros Informáticos (UPM).