Showing 1 - 4 results of 4 for search 'Frédéric Blanqui', query time: 0.02s Refine Results
  1. 1
    Sharing proofs with predicative theories through universe-polymorphic elaboration

    Sharing proofs with predicative theories through universe-polymorphic elaboration by Thiago Felicissimo, Frédéric Blanqui

    Published 2024-09-01
    Get full text
    Article
  2. 2
    The computability path ordering

    The computability path ordering by Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio

    Published 2015-10-01
    Get full text
    Article
  3. 3
    EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)

    EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract) by Mohamed Yacine El Haddad, Guillaume Burel, Frédéric Blanqui

    Published 2019-08-01
    Get full text
    Article
  4. 4
    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: