Paper Info
Title
A Uniform Model Theory for the Specification of Data and Process Types
Abstract
Generalizing products in Lawvere’s algebraic theories to projective and injective Kan extensions and their conjunctive combinations one gets a powerful categorical model theory. Based on this categorical model theory the foundations of a uniform axiomatic specification formalism for data and process types is developed.
Year
DOI
Venue
1999
10.1007/978-3-540-44616-3_20
WADT
Keywords
Field
DocType
uniform model theory,process types,model theory
Kan extension,Injective function,Computer science,Axiom,Algorithm,Formal specification,Universal property,Category theory,Formalism (philosophy),Model theory
Conference
ISBN
Citations 
PageRank 
3-540-67898-0
4
0.65
References 
Authors
5
1
Name
Order
Citations
PageRank
Horst Reichel126032.02