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
2016We 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
Is Existential Meaning a Need or a Want?
Evolutionary Studies in Imaginative Culture, 2020Crystal L. Park, Login S. George
openaire +1 more source
Work and the need for meaning: Comments on ‘should humans work?’
Telecommunications Policy, 2021Bo R Meinertsen
exaly

