Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Lambda calculus, Processes, Infinite, Rewriting systems (Computer science), Lambda-calcul, Processus infinis, Réécriture, Systèmes de (Informatique), MATHEMATICS, Aspektorientierte Programmierung, Constraint-Programmierung, Lambda-Kalkül, Prozessalgebra, Reduktionssystem, Computer Science, Artificial Intelligence (incl. Robotics), Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Klop, J. W, Processes, sähkökirjat
Klop, J. W;Middeldorp, Aart
