Lambda calculus with algebraic simplification for reduction parallelisation: Extended study
Sign Up to like & getrecommendations! Published in 2021 at "Journal of Functional Programming"
DOI: 10.1017/s0956796821000058
Abstract: Abstract Parallel reduction is a major component of parallel programming and widely used for summarisation and aggregation. It is not well understood, however, what sorts of non-trivial summarisations can be implemented as parallel reductions. This… read more here.
Keywords: lambda calculus; calculus; algebraic simplification; calculus algebraic ... See more keywords
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
Sign Up to like & getrecommendations! Published in 2018 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129518000099
Abstract: A new approach to inhabitation problems in simply typed lambda-calculus is shown, dealing with both decision and counting problems. This approach works by exploiting a representation of the search space generated by a given inhabitation… read more here.
Keywords: inhabitation; lambda calculus; search; proof search ... See more keywords