- 2016
- Erika Ábrahám
, Thi Mai Thuong Tran, Martin Steffen:
Observable interface behaviour and inheritance. Math. Struct. Comput. Sci. 26(3): 561-605 (2016) - Benedikt Ahrens:
Modules over relative monads for syntax and semantics. Math. Struct. Comput. Sci. 26(1): 3-37 (2016) - Thorsten Altenkirch, Conor McBride:
Selected papers from Dependently Typed Programming 2010 - Overview. Math. Struct. Comput. Sci. 26(1): 1-2 (2016) - Clément Aubert, Thomas Seiller:
Characterizing co-NL by a group action. Math. Struct. Comput. Sci. 26(4): 606-638 (2016) - Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg:
Expressiveness modulo bisimilarity of regular expressions with parallel composition. Math. Struct. Comput. Sci. 26(6): 933-968 (2016) - Giovanni Tito Bernardi, Matthew Hennessy:
Modelling session types using contracts. Math. Struct. Comput. Sci. 26(3): 510-560 (2016) - Sylvie Boldo, Catherine Lelay, Guillaume Melquiond:
Formalization of real analysis: a survey of proof assistants and libraries. Math. Struct. Comput. Sci. 26(7): 1196-1233 (2016) - Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva:
A coalgebraic view on decorated traces. Math. Struct. Comput. Sci. 26(7): 1234-1268 (2016) - Ana Bove, Alexander Krauss, Matthieu Sozeau:
Partiality and recursion in interactive theorem provers - an overview. Math. Struct. Comput. Sci. 26(1): 38-88 (2016) - Luís Caires, Frank Pfenning, Bernardo Toninho:
Linear logic propositions as session types. Math. Struct. Comput. Sci. 26(3): 367-423 (2016) - Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
Information flow safety in multiparty sessions. Math. Struct. Comput. Sci. 26(8): 1352-1394 (2016) - Sara Capecchi, Elena Giachino, Nobuko Yoshida:
Global escape in multiparty sessions. Math. Struct. Comput. Sci. 26(2): 156-205 (2016) - Konstantinos Chatzikokolakis, Catuscia Palamidessi, Christelle Braun:
Compositional methods for information-hiding. Math. Struct. Comput. Sci. 26(6): 908-932 (2016) - Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani:
Global progress for dynamically interleaved multiparty sessions. Math. Struct. Comput. Sci. 26(2): 238-302 (2016) - Ioana Cristescu, Daniel Hirschkoff:
Termination in a π-calculus with subtyping. Math. Struct. Comput. Sci. 26(8): 1395-1432 (2016) - Yuxin Deng, Robert J. Simmons, Iliano Cervesato:
Relating reasoning methodologies in linear logic and process algebra. Math. Struct. Comput. Sci. 26(5): 868-906 (2016) - Razvan Diaconescu, Alexandre Madeira:
Encoding hybridized institutions into first-order logic. Math. Struct. Comput. Sci. 26(5): 745-788 (2016) - Diego Figueira, Piotr Hofman, Slawomir Lasota:
Relating timed and register automata. Math. Struct. Comput. Sci. 26(6): 993-1021 (2016) - Sibylle B. Fröschle, Frank D. Valencia:
Preface to special issue: EXPRESS 2010. Math. Struct. Comput. Sci. 26(6): 907 (2016) - Marco Gaboardi, Luca Paolini, Mauro Piccolo:
On the reification of semantic linearity. Math. Struct. Comput. Sci. 26(5): 829-867 (2016) - Simon J. Gay, António Ravara:
Preface to special issue: behavioural types. Math. Struct. Comput. Sci. 26(2): 154-155 (2016) - Simon J. Gay, António Ravara:
Preface to special issue: behavioural types. Math. Struct. Comput. Sci. 26(3): 365-366 (2016) - Neil Ghani, Peter G. Hancock:
Containers, monads and induction recursion. Math. Struct. Comput. Sci. 26(1): 89-113 (2016) - Roberto Giacobazzi, Isabella Mastroeni:
Making abstract models complete. Math. Struct. Comput. Sci. 26(4): 658-701 (2016) - Marco Giunti, Vasco Thudichum Vasconcelos:
Linearity, session types and the Pi calculus. Math. Struct. Comput. Sci. 26(2): 206-237 (2016) - Daniele Gorla, Uwe Nestmann:
Full abstraction for expressiveness: history, myths and facts. Math. Struct. Comput. Sci. 26(4): 639-654 (2016) - Matthew A. Goto, Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely:
An extensible approach to session polymorphism. Math. Struct. Comput. Sci. 26(3): 465-509 (2016) - Mauricio Guillermo, Alexandre Miquel:
Specifying Peirce's law in classical realizability. Math. Struct. Comput. Sci. 26(7): 1269-1303 (2016) - Willem Heijltjes, Lutz Straßburger:
Proof nets and semi-star-autonomous categories. Math. Struct. Comput. Sci. 26(5): 789-828 (2016) - Cezar Ionescu:
Vulnerability modelling with functional programming and dependent types. Math. Struct. Comput. Sci. 26(1): 114-128 (2016)
