Results 221 to 230 of about 140,132 (266)
Some of the next articles are maybe not open access.
Journal of Functional Programming, 2015
Abstract We show that the syntactically rich notion of strictly positive families can be reduced to a core type theory with a fixed number of type constructors exploiting the novel notion of indexed containers. As a result, we show indexed containers provide normal forms for strictly positive families in much the same way that ...
Thorsten Altenkirch +4 more
openaire +1 more source
Abstract We show that the syntactically rich notion of strictly positive families can be reduced to a core type theory with a fixed number of type constructors exploiting the novel notion of indexed containers. As a result, we show indexed containers provide normal forms for strictly positive families in much the same way that ...
Thorsten Altenkirch +4 more
openaire +1 more source
2020
Software architecture research needs to address the specific needs and constraints of specific deployment contexts. We propose an architectural style for cloud-deployed software referring to principles and patterns. Patterns map abstract principles to development and deployment platform solution templates Together, principles and patterns link common ...
Claus Pahl +2 more
openaire +1 more source
Software architecture research needs to address the specific needs and constraints of specific deployment contexts. We propose an architectural style for cloud-deployed software referring to principles and patterns. Patterns map abstract principles to development and deployment platform solution templates Together, principles and patterns link common ...
Claus Pahl +2 more
openaire +1 more source
Nursing Standard, 1987
[Illegible Word] to an increasing demand for clinical waste disposal services the Rentokil company have set up a separate Medical Services section to provide waste disposal boxes to hospitals, clinics and health centres.
openaire +2 more sources
[Illegible Word] to an increasing demand for clinical waste disposal services the Rentokil company have set up a separate Medical Services section to provide waste disposal boxes to hospitals, clinics and health centres.
openaire +2 more sources
INTERPRETATION AND CONTAINMENT
The International Journal of Psychoanalysis, 2000The author explores two aspects of the analyst's effort to imagine the inner world of his patient and the way that they are manifest in the clinical moment. The first of these is the analyst's recognition and interpretation of his patient's elaborated fantasies.
openaire +2 more sources
Container, Contained, Containment
Canadian Art Therapy Association Journal, 2000openaire +1 more source