Top Tweets for #CurryHoward
Proofs are programs: A few examples of the Curry-Howard correspondence. ~ Adam Dueck. https://t.co/7Q59bUBdyW #CurryHoward #TypeScript
Reification, Curry-Howard correspondence, and didactical consequences. ~ Reinhard Oldenburg. https://t.co/12nYl27J2f #CurryHoward #FunctionalProgramming #LambdaCalculus
When Howard met Curry. ~ Rob Rix (@rob_rix). https://t.co/EZllFoDrdY #Haskell #FunctionalProgramming #CurryHoward
A survey into the Curry-Howard isomorphism & type systems. ~ Phillip Mates. https://t.co/2i7SlaYRq6 #Logic #Haskell #FunctionalProgramming #CurryHoward
The Curry-Howard correspondence in Haskell. ~ Tim Newsham. https://t.co/S5Dtjmes8f #Logic #Haskell #FunctionalProgramming #CurryHoward
Curry-Howard tutorial in literate Haskell. ~ Keith Pinson. https://t.co/eY0P2ZCR7Q #Haskell #FunctionalProgramming #Logic #CurryHoward
Haskell and the Curry-Howard isomorphism (Part 1). ~ Ben Sherman. https://t.co/LeXEO9F9qB #Haskell #FunctionalProgramming #Logic #CurryHoward
Haskell and logic. ~ Rachel Lambda Samuelsson. https://t.co/UG5QIWZZb2 #Haskell #FunctionalProgramming #Logic #CurryHoward
@rajatstweets @vanillaopinions @notkavi @notnotkavi ~~x does not imply x as we all know #intuitionistlogic #programminglanguages #pl #curryhoward #academictwitter
There are 2 schools of thought re the #CurryHoward correspondence: the "Types with Logic" thinkers and the "Types as Logic" ones.
https://t.co/SRE2QAy39d
Higher-Order Processes, Functions, and Sessions: A Monadic Integration - Toninho, Caires, Pfenning https://t.co/hujK9yZhyJ
#pwlconf2018 #types #sessiontypes #curryhoward #concurrency
Hyper Natural Deduction - Accepted and DOI assigned, after many years of hard work finally our paper on Hyper Natural Deduction is out! https://t.co/J6KvoLvO5a #logic #prooftheory #goedel #hypersequent #curryhoward
Full version of #CurryHoward Multiparty Sessions <-> Linear Logic is out. Journal: https://t.co/o4L27GgmaE Preprint: https://t.co/IzW5MUTNkU
Universal Composability (UC) is like the jQuery of cryptography theory. #CurryHoward
Most Popular Users
Elon Musk 
@elonmusk
241.5M followers
Barack Obama
@barackobama
118.8M followers
Cristiano Ronaldo
@cristiano
114.5M followers
Donald J. Trump
@realdonaldtrump
111.8M followers
Narendra Modi
@narendramodi
107.1M followers
Rihanna
@rihanna
98.7M followers
NASA
@nasa
92.3M followers
Justin Bieber
@justinbieber
91.8M followers
KATY PERRY
@katyperry
90M followers
Taylor Swift
@taylorswift13
84M followers
Lady Gaga
@ladygaga
75.5M followers
Virat Kohli
@imvkohli
73.5M followers
Kim Kardashian
@kimkardashian
70.9M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
66.5M followers
Bill Gates
@billgates
65.3M followers
Selena Gomez
@selenagomez
63.1M followers
The Ellen Show
@theellenshow
62.2M followers
CNN
@cnn
61.7M followers
X
@x
60.7M followers