λδ digital library (LDDL)
Constant
Informal description: ""
{λ[r:cut].λ[s:cut]}.<{(({(s).(r)}.pl).pdofrp).({((s).pdofrp).((r).pdofrp)}.pd)}.eq>.{({(s).(r)}.t5).({(s).(r)}.t1).(({(s).(r)}.pl).pdofrp).({({(1rp).(1rp)}.pl).({({(1rp).(s)}.pl).({(1rp).(r)}.pl)}.pl)}.df).({((s).pdofrp).((r).pdofrp)}.pd)}.treq Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100