From Turing to Type Theory: The Rich Historical Context of Computation

¯\_(ツ)_/¯

From Turing to Type Theory: The Rich Historical Context of Computation preview is not available *.
Visit meetup's website directly.

Something went wrong while talking to the server. Please try again or contact [email protected] if the problem persists.