Programming in the λ-Calculus: From Church to Scott and Back.

Jan Martin Jansen

Published in: The Beauty of Functional Code (2013)

Keyphrases

programming language
programming environment
high level language
databases
database
real time
neural network
website
natural language
development environment
provably correct
computer algebra
programming environments