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