We present quantitative analysis of various (syntactic and behavioral) properties of random λ-
terms. Our main results are that asymptotically all the terms are strongly normalizing and that …

We examine how we can define several probability distributions on the set of Boolean
functions on a fixed number of variables, starting from a representation of Boolean …

This paper considers logical formulas built on the single binary connector of implication and
a finite number of variables. When the number of variables becomes large, we prove the …

We consider propositional formulas built on implication. The size of a formula is the number
of occurrences of variables in it. We assume that two formulas which differ only in the …

Despite λ-calculus is now three quarters of a century old, no formula counting λ-terms has
been proposed yet, and the combinatorics of λ-calculus is considered a hard problem. The …

We investigate quantitative properties of BCI and BCK logics. The first part of the article
compares the number of formulas provable in BCI versus BCK logics. We consider formulas …

We show various (syntactic and behavioral) properties of random λ-terms. Our main results
are that at least 3/4 of the terms are strongly normalizing and that any fixed closed term …

This paper presents a systematic approach for obtaining results from the area of quantitative
investigations in logic and type theory. We investigate the proportion between tautologies …

We present a quantitative analysis of random combinatory logic terms. Our main goal is to
investigate likelihood of semantic properties of random combinators. We show that …

为有效避免禽流感疫情风险, 广东省政府对食用鸡强制实施标准化管理,“集中屠宰, 冷链配送,
生鲜上市”. 然而, 由于广东消费者对活鸡有强烈偏好的传统, 生鲜鸡质量安全风险对其信任和 …