Typed Lambda Calculi and Applications: International Conference on Typed Lambda
67,86 €
The lambda calculus was developed in the 1930s by AlonzoChurch. Operational anddenotational semantics for the calculus served as examplesfor otherprogramming languages. In the 1960s it wasdiscovered that the types of typed lambda calculi are infact appearances of logical propositions.
Jetzt bei Ebay:
