talk on application of Ramsey Theory to programming languages REALLY
talk on infinite can Ramsey theorem