Programming Deadlock
@programming_deadlock
1.59K subscribers
3 photos
124 files
1.3K links
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
About
Blog
Apps
Platform
Join
Programming Deadlock
1.59K subscribers
Programming Deadlock
Abstraction and Computation
https://scispace.com/pdf/abstraction-and-computation-type-theory-algebraic-structures-3ttu401nkv.pdf
❤6
390 views