Mathematical Structures in Computer Science

Titel Veröffentlichungsdatum Sprache Zitate
On the existence of n but not n + 1 easy combinators1999/08/01English
Foreword2000/08/01
An approximation algorithm for the -prize-collecting multicut problem in trees with submodular penalties2024/04/17English
Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)2000/04/01English
On the classification of dipaths in geometric models for concurrency2000/08/01
Foreword1999/06/01English
A semantics for lambda calculi with resources1999/08/01English
Stratified polymorphism and primitive recursion1999/08/01English
Statistical properties of simple types2000/10/01English
An environment machine for the λμ-calculus1998/12/01English
Minimality of the correctness criterion for multiplicative proof nets1998/12/01English
Unique factorisation lifting functors and categories of linearly-controlled processes2000/04/01English
Abstract cyclic proofs2024/04/19English
You can only be lucky once: optimal gossip for epistemic goals2024/04/19English
Order in open intervals of computable reals1999/02/01English
A specification logic for concurrent object-oriented programming1999/06/01English
A theory of mixin modules: basic and derived operators1998/08/01English
Foreword1997/10/01English
Theory and applications of explicit substitutions: Introduction2001/02/01English
Proof search in Lax Logic2001/07/25English
Topological representation of the λ-calculus2000/02/01English
Cut rules and explicit substitutions2001/02/01English
A computationally adequate model for overloading via domain-valued functors1998/08/01English
Category-based constraint logic2000/06/01English
An axiomatization of partial n-place operations1997/06/01English
Type reconstruction in Fω1997/08/01English
A 2-categorical proof of Frobenius for fibrations defined from a generic point2024/04/15English
Parameterized complexity of weighted team definability2024/02/20English
Special issue on homotopy type theory 2019 vol. 22023/09/01English
Constrained read-once refutations in UTVPI constraint systems: A parallel perspective2023/09/11English