Ninjastic
Home
Search
Users
Boards
Addresses
Ctrl + K
Toggle theme
Open menu
Post
Edited versions
Quotes to this post
Post
15878912
Topic
1579310
Board
Announcements (Altcoins)
Re: ANN [Kripke] Provably secure contracts; functional language; on-chain encryption
by
KripkeSecure
on
10/08/2016, 13:39:46 UTC
This is considerably clearer, without getting complicated:
http://www.di.ens.fr/~cousot/AI/IntroAbsInt.html