A 
B: pas[A; B; m] == 
A,B,es,thr.
m:Atom1. pas[A; B; m](thr)
Definitions :
lambda: x.A[x],
exists: x:A. B[x],
atom: Atom$n,
ses-is-protocol-actions: pas(thr)
FDL editor aliases :
basic-seq-1-1
A {}\mrightarrow{} B: pas[A; B; m] == \mlambda{}A,B,es,thr.\mexists{}m:Atom1. pas[A; B; m](thr)
Date html generated:
2010_08_28-AM-03_13_49
Last ObjectModification:
2010_02_23-AM-10_50_45
Home
Index