(Q3524190)

English

Thierry Coquand

French mathematician, logician and computer scientist

Statements

20 June 2006
0 references
0 references
0 references
18 April 1961
Thierry Coquand (computer scientist)
0 references

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit