Stochastic Reasoning in Hybrid Linear Logic (2009)

by Kaustuv Chaudhuri , Joëlle Despeyroux