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