Saltar al contenido

Detalles

Important

A 10 min intro for absolute beginners will be provided. The idea is that anyone with basic knowledge in algebra, geometry and programming will be able to follow this session

The challenge

40 pages and a ton of Maths

The goal

This paper starts with basic Geometry that most people should be able to follow. I plan to explore the development of these concepts inside the Mathematical world and then show the applications for several areas in computer science, focusing on Lambda Calculus and types.

Los miembros también están interesados en