196,254 research outputs found
Título: Summa diversorum tractatum
No full textTít. en antep.: "Marci Antonii Sabelli Summa diuersorum tractatuum et resolutiones. Tomi quatuor"Marca tip. calc. en portSign.: [ ], 2*, A-Z, 2A-2Z, 3A, 3B, a-m, nTexto a dúas colPort. a duas tintasGrav. calc. na cabeceira da adicatoria : "Suor Isabel la P.F.", con esc. cardenalici
Peculiarità dello sviluppo larvale dei Gasteropodi marini litorali dell'Arcipelago di Capo Verde.
No full textM. D. Perrot, G. Rist, F. Sabelli, La mythologie programmée. L'économie des croyances dans la société moderne
No full textLatouche Serge. M. D. Perrot, G. Rist, F. Sabelli, La mythologie programmée. L'économie des croyances dans la société moderne. In: Tiers-Monde, tome 33, n°132, 1992. Le fait alimentaire : débats et perspectives, sous la direction de Emmanuel Calvo et Georges Courade. pp. 940-941
Around the Minimalist Foundation: (Co)Induction and Equiconsistency
No full textWe study extensions and meta-mathematical properties of the Minimalist Foundation. The first chapter is introductory: we recall the systems of the Minimalist Foundation, reviewing their philosophical cores and main meta-mathematical results, together with a thorough exposition on how to work in them. The second chapter is devoted to considering two dual extensions of the Minimalist Foundation and their topological interpretations: with inductive predicates, adapted from the joint work with M.E. Maietti in [1], and with coinductive predicates, adapted from the preprint [2]. The last two chapters, taken from joint works with M.E. Maietti, focus on the level tower of the Minimalist Foundation, showing in particular the overall equiconsistency between the intensional level, the intuitionistic extensional level, and the classical extensional level.
Bibliography
[1] 2022. A topological counterpart of well-founded trees in dependent type theory. With M. E. Maietti. Electronic Notes in Theoretical Informatics and Computer Science, Volume 3. Proceedings of MFPS XXXIX. DOI: 10.46298/entics.11755
[2] 2024. A topological reading of inductive and coinductive definitions in Dependent Type Theory. arXiv preprint arXiv:2404.0349
Effetto del vuoto di mungitura e delle frequenze di pulsazione sulla carica leucocitaria del latte di pecora
No full textAustrodaphnella yemenensis new species (Gastropoda: Turridae) from Yemen, Red Sea, with notes on A. Alcestis (Melvill, 1906)
No full textThe genus Austrodaphnella Laseron, 1954, previously known only from Australian waters, is here reported from the Arabian Peninsula. Two species occur: A. yemenensis new species, from Yemen, Southern Red Sea, and A. alcestis (Melvill, 1906) new combination, a deep water species known only from the Gulf of Oman. SEM photographs of both species are provided
Variabilità molecolare in molluschi Gasteropodi della famiglia Rissoidae della baia di Fetovaia.
No full text- …
