λδ digital library (LDDL)
Constant
Informal description: ""
{λ[p:cut].λ[q:cut].λ[r:cut]}.<{({({(p).(q)}.pl).(r)}.pl).({({(r).(q)}.pl).(p)}.pl)}.is>.{({(p).(q).(r)}.asspl1).({({(r).(q)}.compl).(p).({(q).(r)}.pl).({(r).(q)}.pl)}.ispl1).({({(r).(q)}.pl).(p)}.compl).({({(p).(q)}.pl).(r)}.pl).({(p).({(q).(r)}.pl)}.pl).({(p).({(r).(q)}.pl)}.pl).({({(r).(q)}.pl).(p)}.pl).(cut)}.tr3is Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100