Title: Processes, terms and cycles
Subjects: Lambda calculus, Machine theory, Rewriting systems (Computer science), Mathematical Logic and Formal Languages, Lambda-Kalkül, Logic, MATHEMATICS, Aspektorientierte Programmierung, Processus infinis, Réécriture, Systèmes de (Informatique), Infinity, Reduktionssystem, Infinite Processes, Mathematical Logic and Foundations, Logics and Meanings of Programs, Computer Science, Constraint-Programmierung, Lambda-calcul, Prozessalgebra, Artificial Intelligence (incl. Robotics), Calculus