Showing 1 - 2 results of 2 for search 'Asada, K', query time: 0.02s Refine Results
  1. 1
    Species, profunctors and Taylor expansion weighted by SMCC: a unified framework for modelling nondeterministic, probabilistic and quantum programs

    Species, profunctors and Taylor expansion weighted by SMCC: a unified framework for modelling nondeterministic, probabilistic and quantum programs by Tsukada, T, Asada, K, Ong, C

    Published 2018
    Conference item
  2. 2
    Generalised species of rigid resource terms

    Generalised species of rigid resource terms by Asada, K, Tsukada, T, Ong, C

    Published 2017
    Conference item

Search Tools: