Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Danel Ahman

When Is a Container a Comonad?

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Dijkstra Monads for All

Proceedings of the ACM on Programming Languages

English

Related publications

When Is a Point Borel?

Pacific Journal of Mathematics

English

When Is a Hormone Really a Hormone?

English

When Is a Computer Not a Computer?

Educational Psychology

Cognitive Psychology

Cognitive Neuroscience

English

When Is a Verb Not a Verb?

English

When Is a Function Not Flat?

Journal of Mathematical Analysis and Applications

Applied Mathematics

English

When Is a Complex Fibered by a Subcomplex?

Transactions of the American Mathematical Society

Applied Mathematics

English

When Is a Bipartite Graph a Rigid Framework?

Pacific Journal of Mathematics

English

When Is a Kirillov Orbit a Linear Variety?

Proceedings of the American Mathematical Society

Applied Mathematics

English

Comonad Cohomology of Track Categories

Journal of Homotopy and Related Structures

English