Voir les mots dérivés de substructural.
Aucune définition officielle pour le moment...
substructure /sub·struc·ture/ (-struk-chur) the underlying or ...
http://medical-dictionary.thefreedictionary.com/substructural
Definition of substructure in the Online Dictionary. Meaning of substructure ...
http://www.thefreedictionary.com/substructure
1Substructural logics may be defined in various different ways. For our purposes, we define substructural logic to mean any logic in which it is not the case that ...
http://repository.cmu.edu/cgi/viewcontent.cgi?article=1460&context=compsci
Substructural logics and algebraization. In this section, we define substructural logics and prove that varieties of pointed residuated lattices constitute equivalent ...
http://www.math.vanderbilt.edu/~ual/papers/gal-ono-001.pdf
2 Substructural Type Systems. Now that we have defined our type system, we should verify our intended. structural properties: exchange for all variables, and ...
http://www.cs.princeton.edu/courses/archive/fall03/cs510/notes/top.ps
Algebraization, PLDT and Interpolation for Substructural Logics over FL. 283. 3. Substructural logics and algebraization. In this section, we define substructural ...
http://www.jstor.org/stable/20016806
exhibit a generic type system for substructural types and control defined in terms of an unspecified, abstract control effect (§4);. ? give soundness criteria for the ...
http://www.ccs.neu.edu/home/tov/pubs/substructural-control/CtlURAL-long.pdf
Oct 15, 2003 ... precise definition of a substructural logic we refer to the next section), giving it the operational rules of !, i.e.. X1, A, X2 ?? B. X1, 2A, X2 ?? B ...
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.106.1547&rep=rep1&type=pdf