were isolated from the roots of Verbascum lasianthum Boiss. ex Bentham. In addition, 2 phenylethanoid glycosides, verbascoside {=acteoside, [β-(3,4-dihydroxyphenyl)-ethyl]-(3′-O-α-L-rhamnopyranosyl)-(4′ O-caffeoyl)-β-D-glucopyranoside} (4) and poliumoside {= [β-(3,4-dihydroxyphenyl)-ethyl]-(3′,6′-O-αL-dirhamnopyranosyl)-(4′ -O-caffeoyl)-β-D-glucopyranoside} (5), were also isolated. The structur...

Morphological features of seeds of 9 species of Campanula L., section Quinqueloculares (Boiss.) Phitos (Campanulaceae) which are distributed in Turkey were investigated by scanning electron microscopy (SEM). Characteristics of the seeds and their surface are described and compared. Two main types and two subtypes of surface ornamentation patterns are observed. These can be considered as diagnos...

This paper extends Curry-Howard interpretations of Intuitionistic Logic (IL) and Intuitionistic Linear Logic (ILL) with rules for recursion. The resulting term languages, the λ-calculus and the linear λ-calculus respectively, are given sound categorical interpretations. The embedding of proofs of IL into proofs of ILL given by the Girard Translation is extended with the rules for recursion, suc...