𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Developing Theories of Types and Computability via Realizability

✍ Scribed by Lars Birkedal

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
38 KB
Volume
34
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Computability of measurable sets via eff
Computability of measurable sets via effective metrics
✍ Yongcheng Wu; Decheng Ding πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 199 KB

We consider how to represent the measurable sets in an infinite measure space. We use sequences of simple measurable sets converging under metrics to represent general measurable sets. Then we study the computability of the measure and the set operators of measurable sets with respect to such repres

Cognitive analytic therapy: developing i
Cognitive analytic therapy: developing its theory and practice via attachment theory
✍ Anna Jellema πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 130 KB

Cognitive Analytic Therapy (CAT) makes scant reference to Attachment Theory, despite many similarities. It is argued that the theoretical basis of CAT is not yet fully integrated, and that current attachment theory can contribute to CAT's thinking about motivation, the origin of procedures, the ther