0 -- ostnatý; štiplavý
She made a barbed remark about Bill’s new girlfriend
The following are basic properties of barbed congruence for the untyped calculus.
On the other hand, purchased materials, such as barbed wire, poles, and bamboo, are used in some private plantations.
The visual environment was saturated with political slogans and symbols, while boundaries between ethnically polarised communities were materialised by khaki check-posts and barbed barricades.
Antlers were partitioned from red deer and transformed into the frontlets and also into barbed points.
To the right of the barbed wire is an identical camp.
The fact that hedges were usually made of hawthorn, a form of organic barbed wire, takes on an added significance here.
The equivalences considered include typed versions of testing equivalences and barbed bisimulation equivalences.
The resulting notion of bisimilarity is proved to be a congruence and to represent a sound approximation to barbed (observational) equivalence.