1. Reactive modules;Alur;Formal Methods in System Design,1999
2. Computable analysis with applications to dynamic systems;Collins;Math. Structures Comput. Sci.,2020
3. Synthetic topology of data types and classical spaces;Escardó;Electronic Notes in Theoretical Computer Science,2004
4. Selection functions, bar recursion and backward induction;Escardó;Math. Structures Comput. Sci.,2010
5. What sequential games, the Tychonoff theorem and the double-negation shift have in common;Escardó,2010