- Manuel A. Martins
, Don Pigozzi:
Behavioural reasoning for conditional equations. Math. Struct. Comput. Sci. 17(5): 1075-1113 (2007) - Damiano Mazza:
A denotational semantics for the symmetric interaction combinators. Math. Struct. Comput. Sci. 17(3): 527-562 (2007) - Rémy Mosseri, Pedro Ribeiro:
Entanglement and Hilbert space geometry for systems with a few qubits. Math. Struct. Comput. Sci. 17(6): 1117-1132 (2007) - Russell O'Connor:
A monadic, functional implementation of real numbers. Math. Struct. Comput. Sci. 17(1): 129-159 (2007) - Michele Pagani:
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic. Math. Struct. Comput. Sci. 17(2): 341-359 (2007) - Thierry Paul:
3-body, classical-quantum, discrete-continuous. Math. Struct. Comput. Sci. 17(2): 173-175 (2007) - Thierry Paul:
Discrete-continuous and classical-quantum. Math. Struct. Comput. Sci. 17(2): 177-183 (2007) - Thierry Paul:
On the status of perturbation theory. Math. Struct. Comput. Sci. 17(2): 277-288 (2007) - Thierry Paul:
Quantum computation and quantum information. Math. Struct. Comput. Sci. 17(6): 1115-1115 (2007) - Anne Preller, Joachim Lambek:
Free compact 2-categories. Math. Struct. Comput. Sci. 17(2): 309-340 (2007) - Matthias Schröder, Alex Simpson:
Two preservation results for countable products of sequential spaces. Math. Struct. Comput. Sci. 17(1): 161-172 (2007) - Bas Spitters, Herman Geuvers, Milad Niqui, Freek Wiedijk:
Preface to the special issue: Constructive analysis, types and exact real numbers. Math. Struct. Comput. Sci. 17(1): 1 (2007)
