C. John, J. Baez, and . Erbele, Categories in control, 2015.

L. Birkedal, J. Rasmus-ejlers-møgelberg, K. Schwinghammer, and . Støvring, First steps in synthetic guarded domain theory: stepindexing in the topos of trees, Logical Methods in Computer Science, vol.8, issue.4, p.2012

F. Bonchi, P. Sobocí, and F. Zanasi, Full Abstraction for Signal Flow Graphs, ACM SIGPLAN Notices, vol.50, issue.1, pp.515-526, 2015.
DOI : 10.1145/2775051.2676993

URL : https://hal.archives-ouvertes.fr/hal-01178437

T. Coquand and A. Spiwack, Constructively Finite?, Contribuciones científicas en honor de Mirian Andrés Gómez, pp.217-230, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00503917

H. Martin, T. Escardo, and . Streicher, The universe is indiscrete, 2013.

M. Hasegawa, Recursion from Cyclic Sharing, 1997.
DOI : 10.1007/978-1-4471-0865-8_7

G. Jaber, N. Tabareau, and M. Sozeau, Extending Type Theory with Forcing, 2012 27th Annual IEEE Symposium on Logic in Computer Science, pp.395-404, 2012.
DOI : 10.1109/LICS.2012.49

URL : https://hal.archives-ouvertes.fr/hal-00685150

A. Joyal, R. Street, and D. Verity, Traced monoidal categories, Mathematical Proceedings of the Cambridge Philosophical Society, vol.1488, issue.03, p.447, 1996.
DOI : 10.1007/BF02096491

H. Liu, E. Cheng, and P. Hudak, Causal commutative arrows and their optimization [10] Saunders Mac Lane and Ieke Moerdijk. Sheaves in geometry and logic: A first introduction to topos theory, Proceedings of the 14th ACM SIGPLAN international conference on Functional programming -ICFP '09, 1992.
DOI : 10.1145/1631687.1596559

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

S. Malik, Analysis of cyclic combinational circuits, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD), pp.618-625, 1993.

M. Mendler, T. R. Shiple, and G. Berry, Constructive Boolean circuits and the exactness of timed ternary simulation. Formal Methods in System Design, pp.283-329, 2012.

Y. Orlarey, D. Fober, and S. Letz, Syntactical and semantical aspects of Faust, Soft Computing, vol.8, issue.9, 2004.
DOI : 10.1007/s00500-004-0388-1