Tag Archives: terms

Counting linear lambda terms

Just a little something with which I’ve been idly occupying spare brain cycles lately… read on for an interesting puzzle. Warm up: counting lambda terms Consider a stripped-down version of Haskell’s type system with only natural numbers, polymorphism, functions, and … Continue reading

Posted in combinatorics | Tagged , , , , , | 10 Comments