SweetLambda

Sugared lambda-calculus(?).

Nearby terms:

swappingswap spaceSwedenSweetLambdaswfSwingSWI-Prolog

Try this search on Wikipedia, OneLook, Google


Loading