Personal research notes

Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints.

Simply-typed lambda calculus and extensions: termination, extrinsic/intrinsic representations, nominal binding techniques