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