TY - GEN
AU - Vignudelli, Valeria
AU - Valeria Vignudelli
TI - Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (Invited Talk)
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - Bisimulation
KW - Lambda Calculus
KW - Probabilistic Programming Languages
KW - Contextual Equivalence
PY - 2018
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation