Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel ajakirjas

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

artikkel ajakirjas

2

artikkel ajakirjas

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

artikkel ajakirjas

3

artikkel ajakirjas

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

artikkel ajakirjas

4

artikkel ajakirjas

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

artikkel ajakirjas

5

artikkel ajakirjas

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

artikkel ajakirjas

6

artikkel ajakirjas

On streams that are finitely redBezem, Marc; Nakata, Keiko; Uustalu, TarmoLogical methods in computer science2012 / p. 1-20

artikkel ajakirjas

7

artikkel ajakirjas

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

artikkel ajakirjas

8

artikkel ajakirjas

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

artikkel ajakirjas