Marco Benini

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