Whats the name or recipe for this kind of taco

Many years ago I had late night tacos in Tijuana and they were small bite size tacos, $2 each, they had shredded beef and they looked a bit like this… what would the name of them be ? I am trying to find a recipe to make them.