untyped-variables

Es ist möglich, verschiedene Typen im untypisierten Lambda-Kalkül durch Funktionen höherer Ordnung zu kodieren. %Vor% Ich habe mich gefragt, ob es irgendwelche Forschungen gegeben hat, andere weniger konventionelle Typen einzubetten. Es wäre...