A 
B: pas[A;B;m;n;x;y;z] ==
A,B,es,thr.
m,n,x,y,z:Atom1. pas[A;B;m;n;x;y;z](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-5
A {}\mrightarrow{} B: pas[A;B;m;n;x;y;z] == \mlambda{}A,B,es,thr.\mexists{}m,n,x,y,z:Atom1. pas[A;B;m;n;x;y;z](thr)
Date html generated:
2010_08_28-AM-03_14_14
Last ObjectModification:
2010_02_23-AM-10_57_26
Home
Index