1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Paul-André Melliès, Vincent Moreau
We explain how to construct in two different ways a cartesian closed fibration of higher-order regular languages in the sense of Salvati. In the first construction, we use fibratio…