Pages that link to "Q3524190"
Jump to navigation
Jump to search
The following pages link to Thierry Coquand (Q3524190):
Displaying 15 items.
- Gérard Huet (Q974366) (← links)
- type theory (Q1056428) (← links)
- Coq (Q1131652) (← links)
- Mathematical Structures in Computer Science (Q15762975) (← links)
- Hugo Herbelin (Q102353590) (← links)
- Lena Magnusson (Q102353591) (← links)
- Daniel Fridlender (Q102353592) (← links)
- Henrik Persson (Q102353863) (← links)
- Pierre Hyvernat (Q102353595) (← links)
- David Wahlstedt (Q102357091) (← links)
- Arnaud Spiwack (Q102431244) (← links)
- User:Zuphilip/dblp-persons-list (← links | edit)
- User:Alexei Kopylov/Watchlist/ruwiki (← links | edit)
- Wikidata:Database reports/Constraint violations/P803 (← links | edit)
- Wikidata:ENS Paris/Listeria/École normale supérieure élèves (nés après 1941 ou inconnu) (← links | edit)