O incursiune înspre partea mai teoretică a industriei IT, cu Radu Ometiță, programator și asistent la Facultatea de mate-info de la Babeș-Bolyai.

Host: Dan Nicolici (https://www.linkedin.com/in/dannicolici)

Referințe în episod:

https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_

https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence

https://plfa.github.io

https://softwarefoundations.cis.upenn.edu

https://www.amazon.com/Category-Computer-Scientists-Foundations-Computing/dp/0262660717