marco-benini documents

Programming modulo representations
Science Programming modulo representations
June 22nd 2014: Seminar at JAIST
Science June 22nd 2014: Seminar at JAIST
Algorithms and Their Explanations
Science Algorithms and Their Explanations
CORCON2014: Does programming really need data structures?
Science CORCON2014: Does programming really need data structures?
Numerical Analysis and Epistemology of Information
Science Numerical Analysis and Epistemology of Information
Programming modulo representations
Science Programming modulo representations
Marie Skłodowska Curie Intra-European Fellowship
Science Marie Skłodowska Curie Intra-European Fellowship
Constructive Adpositional Grammars, Formally
Science Constructive Adpositional Grammars, Formally
Point-free foundation of Mathematics
Science Point-free foundation of Mathematics
Brain
Documents Brain
Risk assessment in practice: A real case study
Documents Risk assessment in practice: A real case study
Dealing with negative results
Science Dealing with negative results
Proof-Theoretic Semantics: Point-free meaninig of first-order systems
Science Proof-Theoretic Semantics: Point-free meaninig of first-order systems
The Graph Minor Theorem: a walk on the wild side of graphs
Science The Graph Minor Theorem: a walk on the wild side of graphs
Variations on the Higman's Lemma
Science Variations on the Higman's Lemma
Well Quasi Orders in a Categorical Setting
Science Well Quasi Orders in a Categorical Setting
Explaining the Kruskal Tree Theore
Science Explaining the Kruskal Tree Theore
Point-free semantics of dependent type theories
Science Point-free semantics of dependent type theories