Document Search Results

from until

Sorting

Found 3 Documents (Results 1–3)

Newest Citations Relevance

Continuous monads. (English) Zbl 07516376

Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 173-190 (2020).

MSC: 68N30 68Q55

Cite Review PDF

Full Text: DOI

Manes, Ernie

Monads in topology. (English) Zbl 1194.54016

Topology Appl. 157, No. 5, 961-989 (2010).

Reviewer: Horst Herrlich (Bremen)

MSC: 54B30

Cite Review PDF

Full Text: DOI

Manes, Ernie

Taut monads, dynamic logic and determinism. (English) Zbl 1316.68068

Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 241-262 (2007).

MSC: 68Q55 03B70 03G30 06B35 18C20

Cite Review PDF

Full Text: DOI

Filter Results by …

Document Type

Journal Articles (1)
Collection Articles (2)

Author

Manes, Ernie G. (3)

Year of Publication

2020 (1)
2010 (1)
2007 (1)

all top 3

Main Field

68-XX (2)
03-XX (1)
06-XX (1)
18-XX (1)
54-XX (1)