The words contained in this file might help you see if this file matches what you are looking for:

...Cs advanced topics in programming languages and systems lecture lambda calculus introduction untyped evaluation strategy techniques encoding extensions recursion operational semantics explicit typing type rules assumption progress preservation erasure to http www inf fu berlin de lehre ws alpi pdf chalmers se research logic typesss extra geuvers untypedlambda extremely simple language which captures core aspects of computation yet allows programs be treated as mathematical objects focused on functions applications invented by alonzo used lisp john mccarthy without names usually are given a name e g c int plusone x return however function can also dropped notation...