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