[____] [____] [_____] [____] [__] [Index] [Root] 


Subindex: type  ..    typing




type

   Category (OVERVIEW)

   GROUPS OF LIE TYPE

   Parent and Category (INTRODUCTION TO RINGS [BASIC RINGS])

   Types, Category Names and Structures (STATEMENTS AND EXPRESSIONS)


Types

   ListTypes() : ->

   ListCategories() : ->

   Types(C) : CosetGeom -> SetIndx

   Types(D) : IncGeom -> SetIndx


types

   Aside: Types of Schemes (SCHEMES)

   Different Types of Scheme (SCHEMES)


TypeStructures

   State_TypeStructures (Example H1E18)


typing

   Dynamic Typing (MAGMA SEMANTICS)




[____] [____] [_____] [____] [__] [Index] [Root]