Deepit Purkayastha (@d_bit) 's Twitter Profile
Deepit Purkayastha

@d_bit

Cofounder & CEO , inshorts.group @inshorts @PublicApp_ || Work: Product, Data, Strategy || Passion: Math, Sustainability, Music

ID: 115236520

linkhttps://www.linkedin.com/in/deepit-purkayastha/ calendar_today18-02-2010 01:41:41

660 Tweet

1,1K Takipçi

973 Takip Edilen

Deepit Purkayastha (@d_bit) 's Twitter Profile Photo
Deepit Purkayastha
@d_bit

2 years ago

Mathematical logic and the code of computer programs are, in an exact way, mirror images of each other. The Curry-Howard correspondence posits that two concepts from computer science (types and programs) are equivalent, respectively, to propositions and proofs — concepts from