Showing 1 - 4 results of 4 for search 'Ekici, B', query time: 0.04s Refine Results
  1. 1
    Formal categorical reasoning

    Formal categorical reasoning by Ekici, B

    Published 2022
    Journal article
  2. 2
    A sound definitional interpreter for a simply typed functional language

    A sound definitional interpreter for a simply typed functional language by Ekici, B

    Published 2022
    Journal article
  3. 3
    Completeness of asynchronous session tree subtyping in Coq

    Completeness of asynchronous session tree subtyping in Coq by Yoshida, N, Ekici, B

    Published 2024
    Conference item
  4. 4
    Formal verification of bit-vector invertibility conditions in Coq

    Formal verification of bit-vector invertibility conditions in Coq by Ekici, B, Viswanathan, A, Zohar, Y, Tinelli, C, Barrett, C

    Published 2023
    Conference item

Search Tools: