- the
original on 27 June 2016.
Retrieved 11
December 2015.
Miculan &
Vitacolonna 2020
Miculan &
Vitacolonna 2023 "Telegram F.A.Q." Telegram.
Archived from...
-
Theoretical Computer Science. 209: 5–19. doi:10.1016/j.entcs.2008.04.002.
Miculan, Marino; Peressotti,
Marco (2013).
Bigraphs reloaded: a
presheaf presentation...
- Maldonado, Jonathan; Lazzari, Barbara; Bielenberg, Douglas; Pirona, Raul;
Miculan, Mara; Barakat, Abdelali; Testolin, Raffaele; Stella, Alessandra; Tartarini...
- (2008-01-01). "On
Normalization by
Evaluation for
Object Calculi". In
Miculan, Marino; Scagnetto, Ivan; Honsell,
Furio (eds.).
Types for
Proofs and Programs...
- S2CID 247778438 von Essen, C.; Cellone, S.; Mallonn, M.; Albrecht, S.;
Miculán, R.; Müller, H. M. (2017). "Testing
connections between exo-atmospheres...
- ; Sosa, M. S.; Hjorth, M.; Parkash, V.; Freudenthal, J.; Mallonn, M.;
Miculán, R. G.; Zibecchi, L.; Cellone, S.; Torres, A. F. (2019), "Indications for...
