Theoretical Computer Science - Domains
Premonoidal categories as categories with algebraic structure
Theoretical Computer Science
Fixpoint operators for domain equations
Theoretical Computer Science
Combining a monad and a comonad
Theoretical Computer Science
Axioms for Recursion in Call-by-Value
Higher-Order and Symbolic Computation
Coalgebras and monads in the semantics of java
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
A Monad for Basic Java Semantics
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
An equational notion of lifting monad
Theoretical Computer Science - Category theory and computer science
A fully abstract model for the π-calculus
Information and Computation
Complete Axioms for Categorical Fixed-Point Operators
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Presheaf models for CCS-like languages
Theoretical Computer Science
Mathematical Structures in Computer Science
Premonoidal categories and notions of computation
Mathematical Structures in Computer Science
An enrichment theorem for an axiomatisation of categories of domains and continuous functions
Mathematical Structures in Computer Science
The HASCASL prologue: categorical syntax and semantics of the partial λ-calculus
Theoretical Computer Science
Parameterizations and Fixed-Point Operators on Control Categories
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2003, Selected Papers
A Convenient Category of Domains
Electronic Notes in Theoretical Computer Science (ENTCS)
The Bicategory-Theoretic Solution of Recursive Domain Equations
Electronic Notes in Theoretical Computer Science (ENTCS)
A fibrational framework for possible-world semantics of Algol-like languages
Theoretical Computer Science
Difunctorial Semantics of Object Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Parametric (co)iteration vs. primitive direcursion
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Coalgebraic Representation Theory of Fractals
Electronic Notes in Theoretical Computer Science (ENTCS)
Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Parameterizations and Fixed-Point Operators on Control Categories
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2003, Selected Papers
Hi-index | 0.01 |