"Behavioural distances for probabilistic higher-order programs. (Distances ..."

Raphaëlle Crubillé (2019)

Details and statistics

DOI:

access: closed

type: Book or Thesis

metadata version: 2020-12-23