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