What is a Categorical Model of Arrows? (Q5166619): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q57636181 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.entcs.2011.02.014 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2106805101 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2851324 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalising monads to arrows / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4679165 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modelling environments in call-by-value programming languages. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The arrow calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4215784 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Applicative programming with effects / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Notions of computation and monads / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generic models for computational effects / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Premonoidal categories and notions of computation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4938649 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:13, 8 July 2024
scientific article; zbMATH DE number 6309382
Language | Label | Description | Also known as |
---|---|---|---|
English | What is a Categorical Model of Arrows? |
scientific article; zbMATH DE number 6309382 |
Statements
What is a Categorical Model of Arrows? (English)
0 references
27 June 2014
0 references
Hughes arrows
0 references
Freyd categories
0 references