4 ms·
Is there a symbology primer for the lay reader who finds the Type Theory table at the bottom a trifle dense?
by smitty1e 5y ago
Is there a symbology primer for the lay reader who finds the Type Theory table at the bottom a trifle dense?
- mdm12 5y agoYou, my friend, are diving into the realm of formal semantics for programming languages. Benjamin Pierce's Types and Programming Languages is an excellent reference, but it is not for the faint of heart.
- deleted 5y ago[deleted]