Showing 1 - 1 results of 1 for search 'Gabriel Hondet', query time: 0.02s Refine Results
  1. 1
    A modular construction of type theories

    A modular construction of type theories by Frédéric Blanqui, Gilles Dowek, Emilie Grienenberger, Gabriel Hondet, François Thiré

    Published 2023-02-01
    Get full text
    Article

Search Tools: