-
Thierry Coquand (French: [kɔkɑ̃]; born 18
April 1961) is a
French computer scientist and
mathematician who is
currently a
professor of
computer science...
-
Coquand is a
French surname.
Notable people with the
surname include:
Henri Coquand (1813–1881),
French geologist and
paleontologist Thierry Coquand (born...
- the
calculus of
constructions (CoC) is a type
theory created by
Thierry Coquand. It can
serve as both a
typed programming language and as constructive...
- thesis. The
original Agda
system was
developed at
Chalmers by
Catarina Coquand in 1999. The
current version,
originally known as Agda 2, is a full rewrite...
-
decision procedures. The ****ociation for
Computing Machinery awarded Thierry Coquand, Gérard Huet,
Christine Paulin-Mohring,
Bruno Barras, Jean-Christophe Filliâtre...
-
Henri Coquand (1813, in Aix-en-Provence – 1881, in M****ille) was a
French geologist and paleontologist. In 1841 he
obtained his
doctorate in sciences...
-
Diagnoses molluscorum novorum.
Journal de Conchyliologie. 21(2): 136-144.
Coquand H. (1862). Géologie et Paléontologie de la région sud de la
Provence de...
-
milestone for
univalent foundations was the
Bourbaki Seminar talk by
Thierry Coquand in June 2014.
Univalent foundations originated from
certain attempts to...
-
systems use a type
theory for
their foundation. A
common one is
Thierry Coquand's Calculus of
Inductive Constructions. Type
theory was
created to avoid...
-
Cappetta & Ward, 1977
Genus †Microscyliorhinus Case, 1994
Genus †Orthodon
Coquand, 1860
Genus †Pachyscyllium Reinecke, Moths,
Grant & Breitkreuz, 2005 Genus...
