This section is still under heavy construction…
- Ender’s Game. Orson Scott Card.
- In progress
- Demis Hassabis, Dharshan Kumaran, Christopher Summerfield, and Matthew M. Botvinick. 2017. Neuroscience-Inspired Artificial Intelligence. Neuron (2017). DOI: https://doi.org/10.1016/j.neuron.2017.06.011
- Suprisingly none right now (let me know if you have any recs!)
- Programming Language Foundations in Agda. Philip Wadler, Wen Kokke, Jeremy Siek. Link
- I have a large stack of papers on my desk right now