Catalogà la biblioteca d’Antoni Agustí, del qual fou secretari i bibliotecari; el catàleg fou publicat a Tarragona el 1587 (Bibliotecae graeca ms. latina ms.). Contemporàniament fou conegut amb el nom castellanitzat de Martín de Baylo, forma represa per Gregori Maians.