Lambda calculus encoding schemes
bohm-berarducci-encodingIndex of Church encodingsChurch encodingsChurch NumeralsEncoding data structuresEncoding schemes in lambda calculiLambda encodingMogensen-Scott encodingParigot encodingencodings
Last updated
Was this helpful?