Searching - TalTech Research Portal

display

sort

1

journal article EST / journal article ENG

Codensity lifting of monads and its dualKatsumata, Shin-ya; Sato, Tetsuya; Uustalu, TarmoLogical methods in computer science2018 / p. 1-31 https://doi.org/10.23638/LMCS-14(4:6)2018 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

2

journal article

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023

journal article

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

3

journal article EST / journal article ENG

Constructing higher inductive types as groupoid quotientsVeltri, Niccolo; Weide, Niels van derLogical methods in computer science2021 / p. 8:1−8:42 https://doi.org/10.23638/LMCS-17(2:8)2021 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

4

journal article

A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / p. 1-32 http://dx.doi.org/10.2168/LMCS-11(1:1)2015

journal article

5

journal article

Monads need not be endofunctorsAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoLogical methods in computer science2015 / p. 1-40 http://dx.doi.org/10.2168/LMCS-11(1:3)2015

journal article

6

journal article

Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023

journal article

Seotud publikatsioonid 1

Monoidal width = Monoidiline laius

7

journal article

On streams that are finitely redBezem, Marc; Nakata, Keiko; Uustalu, TarmoLogical methods in computer science2012 / p. 1-20 https://www.researchgate.net/publication/231582269_On_streams_that_are_finitely_red

journal article

8

journal article EST / journal article ENG

Rule algebras for adhesive categoriesBehr, Nicolas; Sobocinski, Pawel MariaLogical methods in computer science2020 / p. 2:1−2:38 https://doi.org/10.23638/LMCS-16(3:2)2020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

9

journal article EST / journal article ENG

Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theoryMannaa, Bassel; Mogelberg, Rasmus Ejlers; Veltri, NiccoloLogical Methods in Computer Science2020 / p. 17:1 - 17:31 https://doi.org/10.23638/LMCS-16(4:17)2020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

10

journal article

When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoLogical methods in computer science2014 / p. 1-48 : ill

journal article

Logical methods in computer science (source)

types of item

keyword 19

subject term 1