Blar i Faculty of Mathematics and Natural Sciences på emneord "lambda"
Viser treff 1-1 av 1
-
λ' is Confluent
(Master thesis, 2023-11-20)The λ-calculus is a well-known model of computation, characterised by its simplicity and adapted for the implementation of functional programming languages. We present an extension of the λ-calculus proposed by ...