Showing 1 - 1 results of 1 for search 'Botta, N', query time: 0.02s Refine Results
  1. 1
    Type theory as a framework for modelling and programming

    Type theory as a framework for modelling and programming by Ionescu, C, Jansson, P, Botta, N

    Published 2018
    Conference item

Search Tools: