Search Results - Van Muylder, Antoine

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

    SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq by Abate, Carmine, Haselwarter, Philipp G., Rivas, Exequiel, Muylder, Antoine Van, Winterhalter, Theo, Hritcu, Catalin, Maillard, Kenji, Spitters, Bas

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Internal and Observational Parametricity for Cubical Agda

    Internal and Observational Parametricity for Cubical Agda by Van Muylder, Antoine, Nuyts, Andreas, Devriese, Dominique

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

    SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq by Haselwarter, Philipp G., Rivas, Exequiel, Van Muylder, Antoine, Winterhalter, Théo, Abate, Carmine, Sidorenco, Nikolaj, Hriţcu, Cătălin, Maillard, Kenji, Spitters, Bas

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    The next 700 relational program logics

    The next 700 relational program logics by Maillard, Kenji, Hriţcu, Cătălin, Rivas, Exequiel, Van Muylder, Antoine

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    The Next 700 Relational Program Logics

    The Next 700 Relational Program Logics by Maillard, Kenji, Hritcu, Catalin, Rivas, Exequiel, Antoine Van Muylder

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Études électrochimiques concernant les corrosions en cellules occluses C.C.O. et protection contre ces corrosions: corrosion par piqûres, corrosion caverneuse, corrosion fissurante sous tension, corrosion sélective d'alliages: Applications au fer et aux aciers, au cuivre, aux cupronickels et aux laitons

    Études électrochimiques concernant les corrosions en cellules occluses C.C.O. et protection contre ces corrosions: corrosion par piqûres, corrosion caverneuse, corrosion fissurante... by Pourbaix, Marcel, Van Muylder, Jean, Verink, Ellis D., Pourbaix, Antoine

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Études électrochimiques concernant les corrosions en cellules occluses C.C.O. et protection contre ces corrosions: corrosion par piqûres, corrosion caverneuse, corrosion fissurante sous tension, corrosion sélective d'alliages

    Études électrochimiques concernant les corrosions en cellules occluses C.C.O. et protection contre ces corrosions: corrosion par piqûres, corrosion caverneuse, corrosion fissurante... by Pourbaix, Marcel, Van Muylder, Jean, Verink, Ellis D., Pourbaix, Antoine

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: