FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
On Higher-Order Probabilistic Computation

Author: Ugo Dal Lago

Paper Information

Title:On Higher-Order Probabilistic Computation
Authors:Ugo Dal Lago
Proceedings:DCM DCM Pre-proceedingsd
Editor: Sandra Alves
Keywords:
Abstract:
Pages:1
Paper: