Intuitive robot programming for non-experts will be essential to increasing automation in small and medium-sized enterprises (SMEs). Programming by Demonstration (PbD) is a fast and intuitive approach ...

I was 5 or 6 when I got my first sense of the joys of computer programming. This was in the early 1980s, when few people had a computer. One day, my dad brought home a Sinclair ZX Spectrum, one of ...

Mathematical Structures in Computer Science (2023). [3] Program equivalence in a typed probabilistic call-by-need functional language . Journal of Logical and Algebraic Methods in Programming (2023).