4 ms·
How much math do you know? Specifically of the type theory/domain theory/category theory variety. How many process calculi are you familiar with? Just curious.
by mej10 12y ago
How much math do you know? Specifically of the type theory/domain theory/category theory variety. How many process calculi are you familiar with? Just curious.
- ibdknox 12y agoI personally don't have much of a math background, but Jamie does (he went to Cambridge for it). FWIW, Eve is actually very heavily based on mathematics and using first principles there to guide us to a solution that is backed by more than just intuition.
- mej10 12y agoThat is good to hear, for both personal validation and my hopes for your project. Thanks.