GC22


2014-03-28 14:00: What can Programming Language Research Learn from the Philosophy of Science? (Tomas Petricek (University of Cambridge))