1,721,202 research outputs found
The tadpole of Leptodactylus barrioi from the Atlantic Forest of southeastern Brazil (Amphibia: Anura: Leptodactylidae)
No full textFraga, Letícia Soares, Assis, Clodoaldo Lopes, Feio, Renato Neves (2022): The tadpole of Leptodactylus barrioi from the Atlantic Forest of southeastern Brazil (Amphibia: Anura: Leptodactylidae). Zootaxa 5168 (1): 97-100, DOI: https://doi.org/10.11646/zootaxa.5168.1.
Advertisement call of Zachaenus carvalhoi Izecksohn, 1982 (Anura: Cycloramphidae) from southeastern Brazil
No full textGuimarães, Carla Silva, Lacerda, João Victor Andrade, Feio, Renato Neves (2013): Advertisement call of Zachaenus carvalhoi Izecksohn, 1982 (Anura: Cycloramphidae) from southeastern Brazil. Zootaxa 3718 (4): 398-400, DOI: http://dx.doi.org/10.11646/zootaxa.3718.4.
FIGURE 9 in Taxonomic revision of Drymoluber Amaral, 1930 (Serpentes: Colubridae)
No full textFIGURE 9. Linear correlation of the number of ventrals in function of the latitude and longitude for males (A) and females (B) of Drymoluber brazili.Published as part of Costa, Henrique Caldeira, Moura, Mário Ribeiro & Feio, Renato Neves, 2013, Taxonomic revision of Drymoluber Amaral, 1930 (Serpentes: Colubridae), pp. 349-394 in Zootaxa 3716 (3) on page 361, DOI: 10.11646/zootaxa.3716.3.3, http://zenodo.org/record/24929
The tadpole of Physalaemus feioi (Anura: Leptodactylidae)
No full textFraga, Letícia Soares, Assis, Clodoaldo Lopes, Guimarães, Carla Silva, Feio, Renato Neves (2022): The tadpole of Physalaemus feioi (Anura: Leptodactylidae). Zootaxa 5190 (3): 447-450, DOI: https://doi.org/10.11646/zootaxa.5190.3.
FIGURE 1 in Advertisement call of Zachaenus carvalhoi Izecksohn, 1982 (Anura: Cycloramphidae) from southeastern Brazil
No full textFIGURE 1. (A) Individual of Zachaenus carvalhoi (MZUFV 10042; SVL 24.2 mm) photographed on 2009 by Ana Paula Motta at district of Careço (20°53'15.59''S; 42°31'22.71''W, 1236m a.s.l). Advertisement call of Zachaenus carvalhoi: (B) oscillogram of a call series with three calls and (C) oscillogram and spectrogram of a single call with 27 pulses arranged in four groups.Published as part of Guimarães, Carla Silva, Lacerda, João Victor Andrade & Feio, Renato Neves, 2013, Advertisement call of Zachaenus carvalhoi Izecksohn, 1982 (Anura: Cycloramphidae) from southeastern Brazil, pp. 398-400 in Zootaxa 3718 (4) on page 399, DOI: 10.11646/zootaxa.3718.4.9, http://zenodo.org/record/526685
A new and possibly critically endangered species of casque-headed tree frog Aparasphenodon Miranda-Ribeiro, 1920 (Anura, Hylidae) from southeastern Brazil
No full textAssis, Clodoaldo Lopes De, Santana, Diego José, Silva, Fabiano Aguiar Da, Quintela, Fernando Marques, Feio, Renato Neves (2013): A new and possibly critically endangered species of casque-headed tree frog Aparasphenodon Miranda-Ribeiro, 1920 (Anura, Hylidae) from southeastern Brazil. Zootaxa 3716 (4): 583-591, DOI: 10.11646/zootaxa.3716.4.
FIGURE 1 in The advertisement call of Haddadus binotatus (Spix, 1824) (Anura; Craugastoridae)
No full textFIGURE 1. (A) Oscillogram and spectrogram of the advertisement call of Haddadus binotatus. (B) Voucher specimen (MZUFV 11716; SVL 24.3 mm) (Photo J.V.A. Lacerda).Published as part of Moura, Mario Ribeiro, Lacerda, João Victor Andrade De & Feio, Renato Neves, 2012, The advertisement call of Haddadus binotatus (Spix, 1824) (Anura; Craugastoridae), pp. 67-68 in Zootaxa 3224 (1) on page 67, DOI: 10.11646/zootaxa.3224.1.6, http://zenodo.org/record/524887
FIGURE 1 in The tadpole of Hylodes babax Heyer, 1982 (Amphibia, Anura, Hylodidae)
No full textFIGURE 1. Tadpole of Hylodes babax at stage 25 of Gosner (1960) in (A) lateral, (B) dorsal, (C) ventral views (scale = 10mm) and (D) oral disc (scale = 1mm).Published as part of Pirani, Renata Magalhães, Pezzuti, Tiago Leite, Motta, Ana Paula & Feio, Renato Neves, 2011, The tadpole of Hylodes babax Heyer, 1982 (Amphibia, Anura, Hylodidae), pp. 64-68 in Zootaxa 2800 (1) on page 66, DOI: 10.11646/zootaxa.2800.1.5, http://zenodo.org/record/529017
FIGURE 1 in The tadpole of Physalaemus feioi (Anura: Leptodactylidae)
No full textFIGURE 1. Tadpole of Physalaemus feioi (MZUFV332) at Stage 36: (A) lateral, (B) dorsal, (C) ventral views (scale bar = 10 mm); (D) Oral disc (scale bar = 0.5 mm). (E) Tadpole at Stage 38 photographed in life, and (F) newly-metamorphosed individual.Published as part of Fraga, Letícia Soares, Assis, Clodoaldo Lopes, Guimarães, Carla Silva & Feio, Renato Neves, 2022, The tadpole of Physalaemus feioi (Anura: Leptodactylidae), pp. 447-450 in Zootaxa 5190 (3) on page 448, DOI: 10.11646/zootaxa.5190.3.9, http://zenodo.org/record/713836
The syntactic side of autonomous categories enriched over generalised metric spaces
Get PDFPrograms with a continuous state space or that interact with physical
processes often require notions of equivalence going beyond the standard binary
setting in which equivalence either holds or does not hold. In this paper we
explore the idea of equivalence taking values in a quantale V, which covers the
cases of (in)equations and (ultra)metric equations among others. Our main
result is the introduction of a V-equational deductive system for linear
{\lambda}-calculus together with a proof that it is sound and complete. In fact
we go further than this, by showing that linear {\lambda}-theories based on
this V-equational system form a category that is equivalent to a category of
autonomous categories enriched over 'generalised metric spaces'. If we
instantiate this result to inequations, we get an equivalence with autonomous
categories enriched over partial orders. In the case of (ultra)metric
equations, we get an equivalence with autonomous categories enriched over
(ultra)metric spaces. We additionally show that this syntax-semantics
correspondence extends to the affine setting. We use our results to develop
examples of inequational and metric equational systems for higher-order
programming in the setting of real-time, probabilistic, and quantum computing.Comment: Journal version of "An Internal Language for Categories Enriched over
Generalised Metric Spaces" [arXiv:2105.08473]
(https://doi.org/10.4230/LIPIcs.CSL.2022.16
- …
