@article{Hermida-Tennent/12,
AUTHOR = {Hermida, C. and Tennent, R.D.},
TITLE = {Monoidal indeterminates and categories of possible worlds},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {430},
PAGES = {3-22},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {indeterminates, symmetric monoidal categories, possible-world semantics, universality, indexed lawvere theory},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512000163},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Schmidt/12b,
AUTHOR = {Schmidt, David A.},
TITLE = {Inverse-limit and topological aspects of abstract interpretation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {430},
PAGES = {23-42},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {abstract interpretation, denotational semantics, inverse-limit construction, galois connection, scott-topology},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512000175},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bauer/12,
AUTHOR = {Bauer, Andrej},
TITLE = {On the failure of fixed-point theorems for chain-complete lattices in the effective topos},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {430},
PAGES = {43-50},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {bourbaki-witt theorem, tarski's theorem, chain-complete posets, fixed points, effective topos, constructive logic},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511009650},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Anders-Andersson-Browne-Kashefi-Oi/12,
AUTHOR = {Anders, J. and Andersson, E. and Browne, D.E. and Kashefi, E. and Oi, D.K.L.},
TITLE = {Ancilla-driven quantum computation with twisted graph states},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {430},
PAGES = {51-72},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {models of quantum computation, multi-partite entanglement},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512001260},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Keimel-Lawson/12,
AUTHOR = {Keimel, Klaus and Lawson, Jimmie D.},
TITLE = {Extending algebraic operations to D-completions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {430},
PAGES = {73-87},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {monotone convergence space completion, extension of algebraic operations, extension of identities, dcpo -completion, free algebra constructions},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511001356},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kurz-Leal/12,
AUTHOR = {Kurz, Alexander and Leal, Raul},
TITLE = {Modalities in the Stone age: A comparison of coalgebraic logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {430},
PAGES = {88-116},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {coalgebra, coalgebraic logic, stone duality, predicate liftings, moss-modality, nabla-modality},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512002885},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Lanzagorta-Martin/12,
AUTHOR = {Lanzagorta, Marco and Martin, Keye},
TITLE = {Teleportation with an imperfect state},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {430},
PAGES = {117-125},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {domain theory, quantum mechanics, information theory, teleportation},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512000187},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}