Speakers
contributor, Patryshev
Software developer with an experience in categories and toposes.Teaching logic and formal methods at Santa Clara University.Working as a data engineer at Salesforce.
Friday November 17, 2017 4:00pm - 4:40pm PST
Functional