Results 201 to 210 of about 927,891 (245)

The diagrammatic construction of type

The Journal of Architecture, 2015
I begin with a stereotype of type. It is the idea that type constitutes a kind of historical convention that hinders creativity and new solutions.
openaire   +1 more source

Constructive Type Theory, An Appetizer

Abstract Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible
openaire   +2 more sources

Types of Construction Contracts

2021
At the early stage of a project, the main issue that faces the employer and his consultants is to decide on the contract strategy that best suits the project objectives. The development of the contract strategy comprises a complete assessment of the choices available for the management of the design and the construction, to maximise the likelihood of ...
openaire   +1 more source

Types of Construction Contracts

2017
In general, the construction contract price includes direct and indirect project costs plus profit. While construction contracts serve as a means of pricing overall construction, they also structure the allocation of risk to the various parties involved.
openaire   +1 more source

Validity of the Type A construct: A reprise.

Psychological Bulletin, 1988
Howard S, Friedman, Stephanie, Booth-Kewley   +1 more
openaire   +2 more sources

On a type of counterfactual construction

2011
This paper analyzes a Hungarian modal construction with a counterfactual, reproaching reading. Hungarian optative, imperative and reproaching sentences involve a MoodP below their topic projection. Their Mood head is merged with a projection having a matching modal feature: a NonNeutP with a conditional or imperative verb raised to NonNeut, or a NegP ...
openaire   +1 more source

Constructive Type Theories

1985
This chapter will describe the approach to formal systems for constructive mathematics initiated by Martin-Lof. Of the various systems described in this book, these systems have so far been the most used by computer scientists interested in actual implementation; this will be discussed briefly at the end of the chapter.
openaire   +1 more source

Employee Constructive Voice: An Integrative Review and a Dyadic Approach

Journal of Management, 2023
You Jin Kim, Chak Fu Lam, Jo Oh
exaly  

Reclaiming constructive alignment

European Journal of Higher Education, 2021
Colin Loughlin, Simon Lygo-Baker, Asa Lindberg-Sand   +2 more
exaly  

A systematic review of constructive and solutions journalism research

Journalism, 2023
Kyser Lough, Karen McIntyre
exaly