Results 261 to 270 of about 185,405 (315)
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
Supervision: A containeræcontained approach
The International Journal of Psychoanalysis, 2001The authors illustrate an approach to the supervisory process as a learning experience for both supervisee and supervisor built on the containment of unconscious anxieties. It is argued that a core function of psychoanalytic supervision is to help contain the emotional turbulence and the unconscious anxieties arising and evolving in the two interacting
V R, Ungar, L B, de Ahumada
openaire +2 more sources
IEEE Transactions on Neural Networks and Learning Systems, 2023
Philip N L Chen, Yue Long, Bai Weiwei
exaly
Philip N L Chen, Yue Long, Bai Weiwei
exaly
Container, Contained, Containment
Canadian Art Therapy Association Journal, 2000openaire +1 more source