Processes, terms and cycles
No description available.
Lambda calculusMachine theoryRewriting systems (Computer science)Mathematical Logic and Formal LanguagesLambda-KalkülLogicMATHEMATICSAspektorientierte ProgrammierungProcessus infinisRéécriture, Systèmes de (Informatique)InfinityReduktionssystem