Gallina

Gallina
Paradigmes Purement fonctionnel
Typage Fort, statique, type inductif
Influencé par ML
Implémentations Coq

Gallina est le langage uniforme de description mathématique (le “vernaculaire” Gallina) utilisé par coq.

À noter que gallina signifie poule en latin.


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Gallina de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • gallina — (Del lat. gallīna). 1. f. Hembra del gallo, de menor tamaño que este, cresta pequeña o rudimentaria, cola sin cobijas prolongadas y tarsos sin espolones. 2. com. coloq. Persona cobarde, pusilánime y tímida. Esteban es un gallina. U. t. c. adj.)… …   Diccionario de la lengua española

  • Gallina — Phase:= The “Largo Gallina” was a period of Pueblo Native Americans from approximately 1050 1300 A.D. located in the Northwestern corner of New Mexico located closely in the Jemez Mountains and gains its name from the Gallina River which runs… …   Wikipedia

  • GALLINA — Graece ὄρνις, quae vox avem in genere significabat, apud Graecos vetustiores, Hom. et Hesiod. Platonis aevo usurpari coepit pro genere gallinaceo et per aliquot saecula tam ad gallum, quam ad gallinam, pertinuit: donec obtinuit usus, ut gallinae… …   Hofmann J. Lexicon universale

  • Gallina — ist der Familienname folgender Personen: Elio Gallina (* 1913), italienischer Notar und „Gerechter unter den Völkern“ Giacinto Gallina (1852–1897), italienischer Komödienautor Giovanni Gallina (1892–?), italienischer Fußballspieler Lodovico… …   Deutsch Wikipedia

  • gallina — adjetivo,sustantivo masculino y femenino 1. Uso/registro: coloquial. Pragmática: peyorativo. Persona o animal cobarde: Yo soy muy gallina, soy incapaz de matar una mosca. Mi perro es un gallina, en cuanto truena se esconde debajo de la cama.… …   Diccionario Salamanca de la Lengua Española

  • gallina — s.f. [lat. gallīna, der. di gallus gallo2 ]. 1. (zool.) [femmina del gallo] ▶◀ ⇓ chioccia, gallinella, pollastra. ● Espressioni: (con uso fig.): ladro di galline ➨ ❑; latte di gallina ➨ ❑; zampa di gallina ➨ ❑. 2. (fig., spreg.) [donna …   Enciclopedia Italiana

  • Gallīna [1] — Gallīna, Henne …   Pierer's Universal-Lexikon

  • Gallīna [2] — Gallīna (Hühnerinsel), Insel zur Bissagosgruppe gehörig (Küste von Nordwestafrika) …   Pierer's Universal-Lexikon

  • Gallīna — Gallīna, die Henne …   Meyers Großes Konversations-Lexikon

  • gallina — (Del lat. gallina.) ► sustantivo femenino 1 ZOOLOGÍA Hembra del gallo que se distingue del macho por ser de menor tamaño, tener la cresta más corta y carecer de espolones. ► sustantivo masculino femenino 2 coloquial Persona cobarde y tímida: ■ su …   Enciclopedia Universal


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.