In this study, four specimens belonging to Karaj mycoflora were examined. According to the results, two form – species; Diplosporonema delastrei, on Silene latifolia subsp. persica and Piggotia ulmi, on Ulmus sp. are reported with new names. For some of the identified fungal specimens, new hosts (matrix nova) are introduced. Moreover, many taxa such as , Marssonina kriegeriana on Salix sp.,  Se...

A great number of combinations are still needed if we want to move from the traditional morphology-based classification system one monophyletic groups. Vorontsova & Simon (in Taxon 61: 735–746. 2012) estimated that 10%–20% names for species Poaceae would have moved a different genus by time realignment is complete. The discovery phylogenetic relationships between taxa and their place in tree li...

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Scope . . . . . . . . . . . . . . . ...

The purpose of this announcement is to effect the valid publication of the following new names and new combinations under the procedure described in the Bacteriological Code (1990 Revision). Authors and other individuals wishing to have new names and/or combinations included in future lists should send three copies of the pertinent reprint or photocopies thereof to the IJSEM Editorial Office fo...

Australian Faunal Directory data were used to create a new, publicly available dataset, nai50, which lists 18318 species and subspecies names for Australian insects described in the period 1961-2010, together with associated publishing data. The number of taxonomic publications introducing the new names varied little around a long-term average of 70 per year, with ca 420 new names published per...

This paper introduces a new recursion principle for inductively defined data modulo α-equivalence of bound names that makes use of Odersky-style local names when recursing over bound names. It is formulated in simply typed λ-calculus extended with names that can be restricted to a lexical scope, tested for equality, explicitly swapped and abstracted. The new recursion principle is motivated by ...