Skip to main content
metafunctor
Research · Coding
Home
Posts
Series
Academic
Papers
Publications
Research
Creative
Writing
Media
Projects
About
Search
Home
/
Recommended Media
/
Advanced Topics in Types and Programming Languages
Back to Media
Advanced Topics in Types and Programming Languages
Benjamin C. Pierce
book
completed
cs-theory
type-theory
advanced
dependent-types
All Media
More in Cs-Theory
More in Cs-Theory
A Formal Theory of Inductive Inference
Ray Solomonoff · paper
Elements of Information Theory
Cover & Thomas · book
Introduction to the Theory of Computation
Michael Sipser · book
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller, Nir Friedman · book