Huet and Gilles Dowek have written articles surveying this topic.
Huet と Gilles Dowek はこれに関する論文を書いている。