[HN Gopher] Church's l-Calculus (2023) [pdf]
       ___________________________________________________________________
        
       Church's l-Calculus (2023) [pdf]
        
       Author : jstrieb
       Score  : 6 points
       Date   : 2024-04-16 19:29 UTC (3 days ago)
        
 (HTM) web link (www.cs.cmu.edu)
 (TXT) w3m dump (www.cs.cmu.edu)
        
       ___________________________________________________________________
       (page generated 2024-04-19 23:00 UTC)