FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Proof techniques for program equivalence in probabilistic higher-order languages

Author: Valeria Vignudelli

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Proof techniques for program equivalence in probabilistic higher-order languages
Authors:Valeria Vignudelli
Proceedings:FSCD Presented Papers
Editor: Helene Kirchner
Keywords:
Abstract:
Pages:2
Paper: