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...

decision procedures. The Association for Computing Machinery awarded Thierry Coquand, Gérard Huet, Christine Paulin-Mohring, Bruno Barras, Jean-Christophe...

science, 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...

alludes to the name of the theorem prover Coq, which was named after Thierry Coquand. The main way of defining data types in Agda is via inductive data...

milestone for univalent foundations was the Bourbaki Seminar talk by Thierry Coquand in June 2014. Univalent foundations originated from certain attempts...

and mathematical logic. The program was organized by Steve Awodey, Thierry Coquand and Vladimir Voevodsky. During the program Peter Aczel, who was one...

proof-writing 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...

logical systems as Per Martin-Löf's intuitionistic type theory, and Thierry Coquand and Gérard Huet's calculus of constructions. Until the end of 19th...

David Fernández, Pavel Hrubes, Andrey Bovykin, Peter Koellner, and Thierry Coquand. In 2008, the first round of these fellowships was awarded. In 2015...

(1591–1606) S. Barry Cooper (UK, 1943–2015) Jack Copeland (UK, born 1950) Thierry Coquand (France, born 1961) John Corcoran (US, 1937–2021) Newton da Costa (Brazil...

French or France-based computer scientists including Patrick Cousot, Thierry Coquand, Gérard Berry and Meyer himself, describing their contributions (abstract...

and judgments becomes the standard for presenting future theories. Thierry Coquand and Gérard Huet created the Calculus of Constructions, a dependent...

theory of foundations. The program was organized by Steve Awodey, Thierry Coquand and Vladimir Voevodsky, and resulted in a book being published in homotopy...

Jean-Louis Colliot-Thélène (1966) Pierre Colmez (1981) Alain Connes (1966) Thierry Coquand (1980) Antoine Augustin Cournot (1821) Louis Couturat (1887) Jean Gaston...

programming language. He designed the calculus of constructions in 1984 with Thierry Coquand. He led the Coq project in the 1990s with Christine Paulin-Mohring...

language to support inductive families and dependent pattern matching. Thierry Coquand (1992). "Pattern Matching with Dependent Types". In Bengt Nordström...

Richard Stallman 2014 Mach Richard Rashid, Avie Tevanian 2013 Coq Thierry Coquand, Gérard Pierre Huet, Christine Paulin-Mohring, Bruno Barras, Jean-Christophe...

the simply typed lambda calculus, Jean-Yves Girard's System F, and Thierry Coquand's calculus of constructions are strongly normalizing. A lambda calculus...

Springer, 2002. Hans Zantema at the Mathematics Genealogy Project Thierry Coquand and Henrik Persson. A proof-theoretical investigation of Zantema's...

of Sciences in 2015. She and the rest of the Coq development team (Thierry Coquand, Gérard Huet, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin...

the simply typed lambda calculus, Jean-Yves Girard's System F, or Thierry Coquand's calculus of constructions. Here, by "self-interpreter" we mean a program...

programming languages, compilers, optimization, and static analysis Thierry Coquand, ACM SIGPLAN 2013 PL Software Award and the 2015 ACM Software System...

of mathematics, has the advantage of being simpler in structure." Thierry Coquand (20 January 2010). "Type Theory". Stanford Encyclopedia of Philosophy...

Computation Structures (FOSSACS). Vol. 10. doi:10.7146/brics.v12i4.21870. Coquand, Thierry; Dybjer, Peter (1997). "Intuitionistic model constructions and normalization...

Logic in Computer Science. Oxford Science Publications. pp. 117–309. Coquand, Thierry (1986). "An analysis of Girard's paradox". Logic in Computer Science...

2 (4): 153–163. doi:10.2307/2268280. JSTOR 2268280. S2CID 2317046. Coquand, Thierry (8 February 2006). Zalta, Edward N. (ed.). "Type Theory". The Stanford...