No. Title Author Year
1 Decomposing Comonad Morphisms Ahman, Danel et al. 2019
2 Modal Embeddings and Calling Paradigms Espírito Santo, José et al. 2019
3 Reordering Derivatives of Trace Closures of Regular Languages Maarand, Hendrik et al. 2019
4 Front Matter, Table of Contents, Preface, External Reviewers Uustalu, Tarmo 2018
5 LIPIcs, Volume 69, TYPES'15, Complete Volume Uustalu, Tarmo 2018
6 Update Monads: Cointerpreting Directed Containers Ahman, Danel et al. 2014
Current Page :
Number of result pages: 1
Number of documents: 6

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI