Tuesday, April 16, 2024

Church's λ-Calculus (2023) [pdf]

Article URL: http://www.cs.cmu.edu/~rwh/pfpl/supplements/ulc.pdf

Comments URL: https://news.ycombinator.com/item?id=40056166

Points: 2

# Comments: 0



from Hacker News: Newest https://ift.tt/YNlqrPJ
via IFTTT
at
Labels: ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

FDIC Clarifies Process for Banks to Engage in Crypto-Related Activities

Article URL: https://www.fdic.gov/news/press-releases/2025/fdic-clarifies-process-banks-engage-crypto-related-activities Comments URL: http...

  • Simplified Service Management with Flox
    Article URL: https://flox.dev/blog/simplified-service-management-with-flox Comments URL: https://news.ycombinator.com/item?id=41323550 Poi...
  • Fonts Affect Learning and Memory
    Article URL: https://www.discovermagazine.com/mind/how-fonts-affect-learning-and-memory Comments URL: https://news.ycombinator.com/item?id=...