Kenyon-Roberts, Andrew
- Supermartingales, Ranking Functions and Probabilistic Lambda Calculus
2021/02/22 by Andrew Kenyon-Roberts, Kenyon-Roberts, Andrew, C.-H. Luke Ong +1 · 4 citations
Computer Science · #Advanced Algebra and Logic #F.3.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)