(philform)
Pour faire suite à l'exposé de Serge Bozon à Philform le 17/10, voici un lien vers un des articles auxquels ce dernier a fait référence : John Longley, Notions of computability at higher types ( Part I (historical survey - complete draft), Part II(systematic study of notions of computable functional - about half-written), and Part III (realizability and notions of computable operation - very rough skeleton draft only) ).Note : l'exposé faisait référence à la première partie seulement de ce travail (110p, format .ps).