The top documents tagged [pure combinatory logic]
Abstraction in Fitch's Basic Logic
26 views