Results 261 to 270 of about 2,015,246 (315)
State Trauma Center Designation Criteria and Expansion of For-Profit vs Nonprofit Trauma Centers.
JAMA Netw OpenNarayan S +5 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Fundamenta Informaticae, 2012
Expansion is an operation on typings (pairs of type environments and result types) in type systems for the λ-calculus. Expansion was originally introduced for calculating possible typings of a λ-term in systems with intersection types. This paper aims to clarify expansion and make it more accessible to a wider community by isolating the pure notion of ...
Sébastien Carlier, J. B. Wells
openaire +1 more source
Expansion is an operation on typings (pairs of type environments and result types) in type systems for the λ-calculus. Expansion was originally introduced for calculating possible typings of a λ-term in systems with intersection types. This paper aims to clarify expansion and make it more accessible to a wider community by isolating the pure notion of ...
Sébastien Carlier, J. B. Wells
openaire +1 more source