Tyrannochthonius bagus Harvey, 1988
Species
Lagynochthonius hamatus Harvey, 1988
Lagynochthonius johni (Redikorzev, 1922)
Lagynochthonius kapi Harvey, 1988
Tyrannochthonius krakatau Harvey, 1988
Lagynochthonius novaeguineae (Beier, 1965)
Lagynochthonius roeweri Chamberlin, 1962
Tyrannochthonius terribilis (With, 1906)
Tyrannochthonius terribilis terribilis (With, 1906)
Subspecies, nominotypical
Lagynochthonius thorntoni Harvey, 1988
Tyrannochthonius wlassicsi (Daday, 1897)
Ditha (Ditha) elegans Chamberlin, 1929
Dithella javana (Tullgren, 1912)
Ditha (Ditha) loricata Beier, 1965
Ditha (Paraditha) sumatraensis (Chamberlin, 1923)
Tyrannochthonius bagus Harvey, 1988
Species