Browse by Authors and EditorsNumber of items: 2. 2025Baston, Colm (2025) Agent-Based Logics in Dependent Type Theory. PhD thesis, University of Nottingham. 2018Baston, Colm and Capretta, Venanzio (2018) The coinductive formulation of common knowledge. In: ITP 2018 - Interactive Theorem Proving, 9-12 August 2018, Oxford, UK. |