Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Affine Monads and Side-Effect-Freeness

Jacobs, B.

Publication date

January 2016

DOI

10.1007/978-3-319-40370-0_5

Publisher

Springer Science and Business Media LLC

Abstract

Contains fulltext : 161334.pdf (preprint version ) (Open Access

Extracted data

Related items

Finding small counterexamples for abstract rewriting properties

Zantema, Hans

January 2018

Contains fulltext : 195233.pdf (preprint version ) (Open Access) ...

Coreflections in Algebraic Quantum Logic

Jacobs, B.
Mandemaker, J.J.

January 2012

Contains fulltext : 93798.pdf (preprint version ) (Open Access) ...

Combinatory logic and the axiom of choice

Barendregt, H.P.

January 1973

Contains fulltext : 13251.pdf (publisher's version ) (Open Access

Affine Monads and Side-Effect-Freeness

Jacobs, Bart

April 2016

International audienceThe notions of side-effect-freeness and commutativity are typical for probabil...

Effectuses from Monads

Jacobs, B.

January 2016

Contains fulltext : 161280.pdf (publisher's version ) (Open Access

From probability monads to commutative effectuses

Jacobs, Bart
Jacobs, B.P.F.

January 2018

Contains fulltext : 182000pos.pdf (Author’s version postprint ) (Open Access) ...

Scalars, monads, and categories

Coumans, D.
Jacobs, B.

January 2013

Contains fulltext : 111224.pdf (preprint version ) (Closed access

Dijkstra and Hoare monads in monadic computation

Jacobs, B.

January 2015

Contains fulltext : 149048.pdf (preprint version ) (Open Access

Convexity, Duality, and Effects

Jacobs, B.

January 2010

Contains fulltext : 83643.pdf (preprint version ) (Closed access

A unified view of monadic and applicative non-determinism

Rivas, Exequiel
Jaskelioff, Mauro
Schrijvers, Tom

January 2018

It is well-known that monads are monoids in the category of endofunctors, and in fact so are applica...

Coalgebras and monads in the semantics of Java

Jacobs, B.
Poll, E.

January 2003

Contains fulltext : 130375.pdf (preprint version ) (Open Access

Effect Algebras, Presheaves, Non-locality and Contextuality

Staton, S.
Uijlen, S.M.

January 2015

Contains fulltext : 143726.pdf (preprint version ) (Open Access

Effect algebras, presheaves, non-locality and contextuality

Staton, Sam
Uijlen, S.

January 2018

Contains fulltext : 193535.pdf (preprint version ) (Open Access

A type and scope safe universe of syntaxes with binding: their semantics and proofs

Allais, G.X.
Atkey, R.
Chapman, J.
McBride, C.
McKinna, Jam.

January 2018

Contains fulltext : 197728.pdf (publisher's version ) (Open Access

A computer-verified monadic functional implementation of the integral

O'Connor, R.
Spitters, B.

January 2010

Contains fulltext : 84382.pdf (preprint version ) (Open Access) ...

Finding small counterexamples for abstract rewriting properties

Zantema, Hans

January 2018

Contains fulltext : 195233.pdf (preprint version ) (Open Access) ...

Coreflections in Algebraic Quantum Logic

Jacobs, B.
Mandemaker, J.J.

January 2012

Contains fulltext : 93798.pdf (preprint version ) (Open Access) ...

Combinatory logic and the axiom of choice

Barendregt, H.P.

January 1973

Contains fulltext : 13251.pdf (publisher's version ) (Open Access

Affine Monads and Side-Effect-Freeness

Jacobs, Bart

April 2016

International audienceThe notions of side-effect-freeness and commutativity are typical for probabil...

Effectuses from Monads

Jacobs, B.

January 2016

Contains fulltext : 161280.pdf (publisher's version ) (Open Access

From probability monads to commutative effectuses

Jacobs, Bart
Jacobs, B.P.F.

January 2018

Contains fulltext : 182000pos.pdf (Author’s version postprint ) (Open Access) ...

Scalars, monads, and categories

Coumans, D.
Jacobs, B.

January 2013

Contains fulltext : 111224.pdf (preprint version ) (Closed access

Dijkstra and Hoare monads in monadic computation

Jacobs, B.

January 2015

Contains fulltext : 149048.pdf (preprint version ) (Open Access

Convexity, Duality, and Effects

Jacobs, B.

January 2010

Contains fulltext : 83643.pdf (preprint version ) (Closed access

A unified view of monadic and applicative non-determinism

Rivas, Exequiel
Jaskelioff, Mauro
Schrijvers, Tom

January 2018

It is well-known that monads are monoids in the category of endofunctors, and in fact so are applica...

Coalgebras and monads in the semantics of Java

Jacobs, B.
Poll, E.

January 2003

Contains fulltext : 130375.pdf (preprint version ) (Open Access

Effect Algebras, Presheaves, Non-locality and Contextuality

Staton, S.
Uijlen, S.M.

January 2015

Contains fulltext : 143726.pdf (preprint version ) (Open Access

Effect algebras, presheaves, non-locality and contextuality

Staton, Sam
Uijlen, S.

January 2018

Contains fulltext : 193535.pdf (preprint version ) (Open Access

A type and scope safe universe of syntaxes with binding: their semantics and proofs

Allais, G.X.
Atkey, R.
Chapman, J.
McBride, C.
McKinna, Jam.

January 2018

Contains fulltext : 197728.pdf (publisher's version ) (Open Access

A computer-verified monadic functional implementation of the integral

O'Connor, R.
Spitters, B.

January 2010

Contains fulltext : 84382.pdf (preprint version ) (Open Access) ...

Finding small counterexamples for abstract rewriting properties

Zantema, Hans

January 2018

Contains fulltext : 195233.pdf (preprint version ) (Open Access) ...

Coreflections in Algebraic Quantum Logic

Jacobs, B.
Mandemaker, J.J.

January 2012

Contains fulltext : 93798.pdf (preprint version ) (Open Access) ...

Combinatory logic and the axiom of choice

Barendregt, H.P.

January 1973

Contains fulltext : 13251.pdf (publisher's version ) (Open Access