We at @AlacrisOS will be presenting our technology on April 11th 2019 at our offices in Boston http://j.mp/AlacrisTechTalk — Come join us for an evening of Applied Logic, where Game Theory meets Game Semantics.
-
Show this thread
Title of my talk: 𝕃 anguage 𝔸 bstraction for ⟦𝕍⟧ erifiable 𝔹 lockchain 𝔻 ecentralized 𝔸 pplications LA[V]BDA !
12:27 PM - 25 Mar 2019
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.