Intuitionism, Computation, and Proof

Kahle, R. (Invited speaker)

Activity: Participating in or organising an eventParticipation in conference

Period10 Jun 201611 Jun 2016
Event typeConference
LocationParis, France