Bannalia: trivial notes on themes diverse

When interacting in the web, are we fully aware that all of our utterances, articles we wrote, posts we sent, pictures we published, rants, ...

So-called λδ-calculi involve the addition to λ-calculus of some set C of external terms along with δ rules describing the reductions by whi...

Thanks to the indications from a reader of the "Within 50 km" entry, we have now more authoritative sources regarding the commit...

The general form of the N-option Mediocrity game can be depicted as follows: 1 2 3 4 5 6 ... 3N-2 3N-1 3N A B C A B C ... A B C Let us assu...

Commenting on the "Within 50 km" entry blog, a friend of mine remarks that the commitment by the Spanish government concerning th...

In the game of soccer, it is not infrequent that the ball hits the goal crossbar: sometimes it bounces back into the field or out over the b...

Let's implement a recursive numeric function in our C++ embedding of λ-calculus . Before delving into the specific problems of recursion...