Mathematical Structures in Computer Science

Title Publication Date Language Citations
Perpetuality in a named lambda calculus with explicit substitutions2001/02/01English1
Double-pushout graph transformation revisited2001/09/25English1
Quasi-Nelson algebras and fragments2021/03/01English1
A quantitative computational model for complete partial metric spaces via formal balls2009/06/01English1
Mobile Petri nets2009/12/01English1
Quantum algorithmic methods for computational geometry2010/11/08English1
Spatial search on a honeycomb network2010/11/08English1
A quantum random number generator certified by value indefiniteness2014/03/28English1
Optimised assignment of airport gate configurations using an immune genetic algorithm2014/09/04English1
Processes and unfoldings: concurrent computations in adhesive categories2014/06/26English1
General conditions for full abstraction2014/11/10English1
Strictifying and taming directed paths in Higher Dimensional Automata2021/02/01English1
A domain-theoretic framework for robustness analysis of neural networks2023/02/01English1
Logical relations for monadic types2008/10/07English1
LQP: the dynamic logic of quantum information2006/06/01English1
Generalised multisets for chemical programming2006/07/24English1
Modular control-flow analysis with rank 2 intersection types2003/02/011
Open Petri nets2020/03/01English1
The computational power of timed P systems with active membranes using promoters2018/08/09English1
Linear time computable problems and first-order descriptions1996/12/01English1
An introduction to differential linear logic: proof-nets, models and antiderivatives2017/02/09English1
Dilations and information flow axioms in categorical probability2023/10/25English1
Geometry and concurrency: a user's guide2000/08/011
Categorical logic of names and abstraction in action calculi1997/12/01English1
Linear types and approximation2000/12/01English1
Homotopy invariants of higher dimensional categories and concurrency in computer science2000/08/011
Unique decomposition categories, Geometry of Interaction and combinatory logic2000/04/01English1
Open-graphs and monoidal theories2013/02/28English1
Functions as processes1992/06/01English1
A note on the structure of bilattices1995/09/01English1