A correct-by-construction conversion from lambda calculus to

A correct-by-construction conversion from lambda calculus to combinatory logic - Volume 33

Related Keywords

Greece , Greek , Peter Selinger , Agda Norell , , Functional Programming , Reference Sch , Reference Curry , Reference Norell , Reference Mcbride , Reference Abel , Reference Turner ,