The SKI Combinator Calculus: a universal formal system (1993) (people.cs.uchicago.edu) 2 points by dgraunke 10y ago ↗ HN
0 comments
[ 3.1 ms ] story [ 7.6 ms ] threadNo comments yet.