A correct-by-construction conversion from lambda calculus to combinatory logic | Journal of Functional Programming

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 ,