Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Thierry Coquand

Thierry Coquand (born 18 April 1961 in Jallieu, Isère, France) is a professor in computer science at the University of Gothenburg, Sweden. He is… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
We argue that the continuous limit order book is a flawed market design and propose that financial exchanges instead use frequent… Expand
  • figure 1.1
  • figure 4.1
  • table 1
  • figure 4.2
  • figure 5.1
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Smart homes equipped with ambient intelligence technology constitute a promising direction to enable the growing number of… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
The Nash wage bargaining model is ubiquitous in modern labour economics. Yet most applications of this model ignore inter… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Two non-exclusive hypotheses about what motivates remittances sent by Dominican migrants to their rural parents in the Sierra are… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Abstract This paper describes a theory of rational emulation and deviance. It assumes that individuals care about relative… Expand
  • figure 1
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The traditional notions of strong and weak normalization refer to properties of a binary reduction relation. In this paper we… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
We show that infinite objects can be constructively understood without the consideration of partial elements, or greatest fixed… Expand
Is this relevant?
Highly Cited
1991
Highly Cited
1991
The authors present the main features of the SIGNAL language and its compiler. Designed to provide safe real time system… Expand
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Sun, 06 Jan 2019 10:24:00 GMT lectures on modern convex optimization pdf Convex optimization problems arise frequently in many… Expand
  • figure 1.1
  • figure 2.1
  • table 2.1
  • table 2.2
  • table 2.3
Is this relevant?
Highly Cited
1985
Highly Cited
1985
We present an extensive set of mathematical propositions and proofs in order to demonstrate the power of expression of the theory… Expand
Is this relevant?