Search Results - Baston, Colm

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Agent-Based Logics in Dependent Type Theory

    Agent-Based Logics in Dependent Type Theory by Baston, Colm

    Published 2025
    Get full text
  2. 2
    The coinductive formulation of common knowledge

    The coinductive formulation of common knowledge by Baston, Colm, Capretta, Venanzio

    Published 2018
    Get full text

Search Tools: