Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch
English
 

Suche nach Veröffentlichungen - Detailansicht

 
Art der Veröffentlichung: Artikel in Konferenzband
Autor: Lutz Schröder
Herausgeber: Till Mossakowski, Udo Montanari
Titel: Bootstrapping Types and Cotypes in HasCASL
Buch / Sammlungs-Titel: Algebra and Coalgebra in Computer Science (CALCO 07)
Band: 4624
Seite(n): 447 – 462
Serie / Reihe: Lecture Notes in Computer Science
Erscheinungsjahr: 2007
Verleger: Springer
Abstract / Kurzbeschreibung: 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 types of finite and infinite trees that establish the conservativity of datatype and process type declarations adhering to certain reasonable formats. The latter amounts to modifying known constructions from HOL to avoid unique choice; in categorical terminology, this means that we establish that quasitoposes with an internal natural numbers object support initial algebras and final coalgebras for a range of polynomial functors, thereby partially generalizing corresponding results from topos theory.
Internet: http://dx.doi.org/10.1007/978-3-540-73859-6_30
PDF Version: http://www.informatik.uni-bremen.de/~lschrode/papers/HasCASLtypes.pdf
Schlagworte: HasCASL algebra coalgebra process type datatype quasitopos
Anmerkung / Hinweis: Extended version available
Status: Reviewed
Letzte Aktualisierung: 18. 06. 2008

 Zurück zum Suchergebnis
 
   
Autor: Automatisch generierte Seite
 
  AG BKB 
Zuletzt geändert am: 9. Mai 2023   impressum