Categories in control, 2015. ,
First steps in synthetic guarded domain theory: stepindexing in the topos of trees, Logical Methods in Computer Science, vol.8, issue.4, p.2012 ,
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
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
The universe is indiscrete, 2013. ,
Recursion from Cyclic Sharing, 1997. ,
DOI : 10.1007/978-1-4471-0865-8_7
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
Traced monoidal categories, Mathematical Proceedings of the Cambridge Philosophical Society, vol.1488, issue.03, p.447, 1996. ,
DOI : 10.1007/BF02096491
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=10.1.1.214.222
Analysis of cyclic combinational circuits, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD), pp.618-625, 1993. ,
Constructive Boolean circuits and the exactness of timed ternary simulation. Formal Methods in System Design, pp.283-329, 2012. ,
Syntactical and semantical aspects of Faust, Soft Computing, vol.8, issue.9, 2004. ,
DOI : 10.1007/s00500-004-0388-1