Person:265822: Difference between revisions
From MaRDI portal
Person:265822
Created automatically from import231006081045 |
(No difference)
|
Latest revision as of 08:07, 7 October 2023
Available identifiers
zbMath Open pirog.maciejMaRDI QIDQ265822
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
https://portal.mardi4nfdi.de/entity/Q5089033 | 2022-07-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q5013826 | 2021-12-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q5854730 | 2021-03-17 | Paper |
Syntax and Semantics for Operations with Scopes | 2021-01-20 | Paper |
Equational theories and monads from polynomial Cayley representations | 2020-01-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4968384 | 2019-07-12 | Paper |
Tabling with Sound Answer Subsumption | 2017-11-09 | Paper |
Backtracking with cut via a distributive law and left-zero monoids | 2017-10-23 | Paper |
Modules over Monads and their Algebras | 2017-07-11 | Paper |
Unifying Guarded and Unguarded Iteration | 2017-05-19 | Paper |
String diagrams for free monads (functional pearl) | 2017-05-10 | Paper |
The coinductive resumption monad | 2016-05-13 | Paper |
Monads for behaviour | 2016-04-12 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Maciej Piróg