Discrete-time and continuous-time modelling: some bridges and gaps. - Hubert Krivine; Annick Lesne; Jacques Treiner (Math. Struct. Comput. Sci., 2007)