3 results
Lutz Schröder.
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatypes and process types arise as bootstrapped concepts using HasCASL's type class mechanism, and we describe constructions of […]
Published on December 25, 2008
Tadeusz Litak ; Dirk Pattinson ; Katsuhiko Sano ; Lutz Schröder.
We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras. We discuss axiomatization and completeness results for several natural classes of such […]
Published on March 20, 2018
Sergey Goncharov ; Lutz Schröder ; Christoph Rauch ; Julian Jakob.
We study a model of side-effecting processes obtained by starting from a monad modelling base effects and adjoining free operations using a cofree coalgebra construction; one thus arrives at what one may think of as types of non-wellfounded side-effecting trees, generalizing the infinite resumption […]
Published on August 27, 2018