|
|
|
|
|
|
by shpongled
2390 days ago
|
|
|
I have no formal education in type theory (or computer science), but I found the textbook I mentioned to be perfect for self-learning. There are some bits that are over my head (especially the proofs), but I've found it to be exceptionally accessible otherwise. |
|
|