Britten, Daniel
- Foundational Verification of Smart Contracts through Verified Compilation
2024/05/14 by Vilhelm Sjöberg, Sjöberg, Vilhelm, Kinnari Dave +15 · 1 citation
Business, Management and Accounting · Computer Science · Economics, Econometrics and Finance · #Blockchain Technology Applications and Security #F.3.1 #F.3.2 #FOS: Computer and information sciences #FinTech, Crowdfunding, Digital Finance #Insurance and Financial Risk Management #Programming Languages (cs.PL)
- Weight modules for current algebras
2014/11/14 by D. J. Britten, Michael Lau, Britten, Daniel +3 · 1 citation
Mathematics · #Algebraic structures and combinatorial models #Advanced Topics in Algebra #Advanced Algebra and Geometry