Digraph
Organize the world
Digraph
Search
Everything
This topic
Blog
Recent
Everything
Sign in
David Hilbert
Parent topics
Mathematicians and statisticians
This topic
Recent activity
You must be
signed in
to add and move topics and links.
Hilbert's program - Wikipedia
https://en.wikipedia.org/wiki/Hilbert's_program
David Hilbert
Where do Type Systems Come From?
http://blog.felipe.rs/2017/07/07/where-do-type-systems-come-from/
David Hilbert
Typed programming languages