Mathematical Structures in Computer Science

Titel Veröffentlichungsdatum Sprache Zitate
A computational formalization for partial evaluation1997/10/01English
Regular Böhm trees1998/12/01English
Introduction2000/04/01English
Categorical properties of logical frameworks1997/02/01
Temporal algebra1998/06/01English
Observational trees as models for concurrency1999/12/01English
Spaces of maximal points1997/10/01English
The call-by-value λ-calculus: a semantic investigation1999/10/01English
A filter model for mobile processes1999/02/01English
Foreword1998/12/01English
Structured transition systems with parametric observations: observational congruences and minimal realizations1997/06/01English
Some logical and syntactical observations concerning the first-order dependent type system λP1999/08/01English
On lists and other abstract data types in the calculus of constructions2000/04/01English
A categorical generalization of Scott domains1997/10/01English
General synthetic domain theory – a logical approach1999/04/01English
[top ][top ]-closed relations and admissibility2000/06/01English
Fixed point logics and definable topological properties2023/12/13English
Dimension in team semantics2024/03/12English
Behavioural equivalences for continuous-time Markov processes2023/03/30English
Preface to Special Issue: LSFA 2019 and 20202022/10/01English
Discrete equational theories2024/01/22English
Scott topology on Smyth power posets2023/07/27English
Not every countable complete distributive lattice is sober2023/07/28English
On reduction and normalization in the computational core2022/08/01English
Preface for the special issue in homage to Martin Hofmann Part 22022/06/01English
New and improved bounds on the contextuality degree of multi-qubit configurations2024/04/18English
Equational theorem proving for clauses over strings2024/04/18English
Invariants of inversive 2-structures on groups of labels1997/08/01English
Coinductive characterizations of applicative structures1999/08/01English
Intuitionistic model constructions and normalization proofs1997/02/01