Last Saturday, the BehAPI workshop at ETAPS successfully took place, where speakers both from within and outside the project gave a number of interesting talks about Mechanising Proofs for Behavioural Types
Last Saturday, the BehAPI workshop at ETAPS successfully took place, where speakers both from within and outside the project gave a number of interesting talks about Mechanising Proofs for Behavioural Types