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