Home

Diagrammatic logic applied to a parameterization process.

Thu, 08/27/2009 - 13:23 — SomNambul
Authors: Cesar Dominguez, Dominique Duval
Subjects: Logic in Computer Science
link: http://arxiv.org/abs/0908.3737
Abstract

This paper provides an abstract definition of some kinds of logics, called
diagrammatic logics, together with a definition of morphisms and of 2-morphisms
between diagrammatic logics. The definition of the 2-category of diagrammatic
logics rely on category theory, mainly on adjunction, categories of fractions
and limit sketches. This framework is applied to the formalization of a
parameterization process. This process, which consists in adding a formal
parameter to some operations in a given specification, is presented as a
morphism of logics. Then the parameter passing process, for recovering a model
of the given specification from a model of the parameterized specification and
an actual parameter, is seen as a 2-morphism of logics.

discount christian louboutins

Thu, 12/08/2011 - 12:33 — hh1

Songs have a few christian louboutin pumps song? Spend a few a sales louboutins message? Who huan who laugh? Do louboutins sales not change beauty building, don't smile GuLing celadon ware, water as a christian louboutin ankle boots mirror, to really may thanks. Flow curve great feeling christian louboutin boots short, just knowing the scattered, when huan? http://www.salesslouboutins.com/

http://www.nbashoesssale.com/

Thu, 12/08/2011 - 12:39 — hh1

When it comes nba shoes to the frozen the season of picking, green fields, farming people nba players shoes through the food in the box, in originally multicolored spirit face and then cheap nba shoes added a flow of little song. The frozen picked, green, flat, middle summon up full of beans. Sell nba jerseys on sale the car with frozen over the edge of the field ridge trail, the farmer smiled, village smile, laugh too the setting sun tracy mcgrady shoes ashamed red face, laugh too crescent out of a fine seam. http://www.nbashoesssale.com/

ghd pink

Fri, 12/09/2011 - 05:54 — facaila

New ghd rare Styler Leopard is one of the best GHD styler with most advanced technology in this year.The ghd mini salon styler brings control and versatility for those with longer, thicker hair and Afro Caribbean hair. Create curls, waves, flicks and straight to turn heads.ghd pink also is people 's love.