Path: utzoo!attcan!uunet!mcsun!inria!geocub!casteran
From: casteran@geocub.greco-prog.fr (Pierre Casteran)
Newsgroups: comp.lang.scheme
Subject: Semantic domains
Message-ID: <1862@geocub.greco-prog.fr>
Date: 2 May 90 06:04:23 GMT
Organization: Greco, Bordeaux, France.
Lines: 22

in the draft standard for Scheme, the domain equation for pairs is
Ep = L x L x T

L is the domain of locations and T the domain of booleans, and 'x' stands for
the product.

I understand that a pair is a couple of locations, but not the role played
by the boolean composant.

Idem for vectors and strings.

May somebody help me to get the intuition of this equation ?


P. Casteran

P.S.

Is it possible to get the (TeX?) source of that report. I am interested in
the TeX macros used for the formal semantics part.

Thanks in advance.