During the last decades, several methods have been proposed for Kolmogorov−Smirnov one-sample test based on fuzzy random variables to describe impression of classical variables. However, such techniques do not discuss modeling imprecise observations and simulation data from distribution a variable. Moreover, rely cumulative function with known parameters. In this paper, however, modified is int...

We explore an axiomatized nominal approach to variable binding in Coq, using an untyped lambda-calculus as our test case. In our nominal approach, alpha-equality of lambda terms coincides with Coq’s builtin equality. Our axiomatization includes a nominal induction principle and functions for calculating free variables and substitution. These axioms are collected in a module signature and proved...