Marco Benini

category theory well quasi order logic graph theory research foundation of mathematics graph minor theorem negative results quasi order higman lemma mathematics philosophy of information point-free semantics lambda-calculus data structures adpositional grammars intuitionistic logic free structure induction homotopy type theory point-free semantics martin-lof type theory dependent type theory kruskal theorem research methods impossibility result dead end well-founded quasi order scientific publication finite antichain finite descending chain proof theory topos theory numerical analysis epistemology course techniques biology photography marie curie fellowship computability in europe 2014 algorithms heapsort correctness by construction functional programming programming