Constructing Standards For Cross-Platform Operation
Software Quality Control
Containers: constructing strictly positive types
Theoretical Computer Science - Applied semantics: Selected topics
Electronic Notes in Theoretical Computer Science (ENTCS)
Arrows, like Monads, are Monoids
Electronic Notes in Theoretical Computer Science (ENTCS)
A Simple Adequate Categorical Model for PCF, II
Fundamenta Informaticae
Characterising E-projectives via Co-monads
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |