[NOTE] GOPL Type Theory

[John Pritchard]

Hi,

It occurs to me that GOPL type theory has a distinct benefit from its constraint to the membership relation.  The external derivation of type semantics has particular constraint.

Tools parsing GOPL expressions and systems are more readily capable of reproducing type semantics.  

The benefit of concise semantics to the universe external to GOPL "native" interpretation may be represented as service and opportunity.  

Meanwhile, the benefit of concise type semantics to the universe internal to GOPL remains to be determined.

Best,

John

ps.  Interested in references to type theory conception, definition, and review.