✦ LIBER ✦

On specifications, subset types and interpretation of proposition in type theory

✍ Scribed by Anne Salvesen

Publisher: Springer Netherlands
Year: 1992
Tongue: English
Weight: 952 KB
Volume: 32
Category: Article
ISSN: 0006-3835
DOI: 10.1007/bf01995110

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Propositions and specifications of progr

Propositions and specifications of programs in Martin-Löf's type theory

✍ Bengt Nordström; Jan Smith 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 802 KB

Code type-specific tables for interpreta

Code type-specific tables for interpretation of MMPI-2 Harris and Lingoes subscales: Consideration of gender and code type definition

✍ Robert E. McGrath; Diane Powis; David L. Pogge 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB 👁 1 views

Normative tables for various MMPI-2 code types, which may be used to enhance the interpretation of the Harris and Lingoes subscales, were developed. It was found that scores on the subscales covaried significantly as a function of code type. Gender and code type definition strategy were considered a

Markov and Bernstein type inequalities o

Markov and Bernstein type inequalities on subsets of [−1,1] and [−π, π]

✍ P. Borwein; T. Erdélyi 📂 Article 📅 1994 🏛 Akadmiai Kiad 🌐 English ⚖ 225 KB

Some propositions of the fourier - planc

Some propositions of the fourier - plancherel and paley - wiener type obtained by methods in the spectral theory of functions

✍ M. G. Krein; A. A. Nudel'man 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 247 KB

The effects of different types of interp

The effects of different types of interpretation on outcome in group psychotherapy

✍ John V. Flowers; Curtis D. Booraem 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 466 KB

Existence of continuous selections on sp

Existence of continuous selections on spaces of subsets in očan-type topologies

✍ G. Praninskas 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 385 KB