Sentence examples for a type structure from inspiring English sources

This difference between set theory and type theory is yet another illustration of the characterization by J.Reynolds 1983 of a type structure as a "syntactical discipline for enforcing level of abstraction".

This is covered by the following theorem of Brandenburger & Dekel (1987) (cf. also Tan & Werlang 1988): Theorem 4.2 For any game \(G\), there is a type structure for that game in which the strategy profiles consistent with rationality and common belief in rationality is the set of strategies that survive iterative removal of strictly dominated strategies.

Conditional beliefs are computed in the standard way: type \(t_i\) believes that \(E\) given \(F\) whenever: A state in a type structure is a tuple \((\sigma, t)\) where \(\sigma\) is a strategy profile and \(t\) is "type profile", a tuple of types, one for each player.

Wang reported a structural transformation from zigzag (Z-type) to an unusual type of fourfold-coordinated (H-type) and to armchair (A-type) structure in the ultrathin SiCNTs under uni-axial compression [26].

The tightly packed A-type structure is known to be very heat stable.

In contrast to RTmd and its batch digested fraction, dynamically digested RTmd showed no peak at 2θ = 27°C and no pronounced double peak at 2θ = 17° and 2θ = 18° (both typical for A-type structure), which indicate a loss in crystallinity due to digestion.

For a beam type structure, a self-equilibrated load may penetrate well inside the beam.

Structural VHDL is a data type structure that is best described as a netlist of a design or schematic.

These four dyes QX11 14 are constructed to a D π A type structure consisting of an indeno[1,2-b]indole donor and a cyanoacrylic acid acceptor/anchoring group.

This is basically a sandwich type structure and consists of a steel double box section filled with concrete.

A few prototypes show how functional robots can be created from a few parts and an "origami" type structure.