Currently browsing

On Semantical Methods for Higher-Order Complexity Analysis

Deivid Rodrigues do Vale Promotor: prof.dr. Herman Geuvers (RU) Co-promotor: dr. Cynthia Kop (RU) Radboud University Date: 19 April 2024 Thesis: PDF Summary In 1965 Alan Cobham proposed the following broadly formulated questions: “is it always more difficult to multiply than to add?” and “why?”. It turns out that these …