ББ-065: Анатолий Рессин (Blockvis) о пути из академии в индустрию, Лэсли Лэмпорте и блокчейне в Прибалтике

• • Blockvis
  • .tax Blockchain Hackathon
  • Civic
  • Parsiq.io
  • Linear logic: its syntax and semantics
  • Линейная логика VII: Слово как действие
  • What is TLA+?
  • The Temporal Logic of Actions

basicblockradio.com