The discussion on Tom’s recent post about ETCS, and the subsequent followup blog post of Francois, have convinced me that it’s time to write a new introductory blog post about type theory. So if ...
I could be totally off but I'm thinking this: four different suits. 1/4th chance to pick a certain suit. or 13/52 = 1/4th take one away from that 13 and now the chances of a second card of that suit ...
Article Views are the COUNTER-compliant sum of full text article downloads since November 2008 (both PDF and HTML) across all institutions and individuals. These metrics are regularly updated to ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results