Results 261 to 270 of about 85,746,451 (299)
Some of the next articles are maybe not open access.

Reasoning About Call-by-need by Means of Types

2016
We first develop a (semantical) characterization of call-by-need normalization by means of typability, i.e. we show that a term is normalizing in call-by-need if and only if it is typable in a suitable system with non-idempotent intersection types. This first result is used to derive a new completeness proof of call-by-need w.r.t.
openaire   +2 more sources

The need for meaning

Psychological Perspectives, 2004
openaire   +1 more source

Is Existential Meaning a Need or a Want?

Evolutionary Studies in Imaginative Culture, 2020
Crystal L. Park, Login S. George
openaire   +1 more source

Work and the need for meaning: Comments on ‘should humans work?’

Telecommunications Policy, 2021
Bo R Meinertsen
exaly  

MEANS AND NEEDS

The Lancet, 1936
openaire   +1 more source

Home - About - Disclaimer - Privacy