LIPIcs : Leibniz International Proceedings in Informatics

ISSN: 1868-8969
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

Publications (42)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

Finitary Corecursion for the Infinitary Lambda Calculus (2015) Milius S, Wißmann T Conference contribution Syntactic Monoids in a Category (2015) Adámek J, Milius S, Urbat H, Urbat H Conference contribution, Conference Contribution
‹ 1 ... 3 4 5 ›