Processes, terms and cycles
by Aart Middeldorp, Vincent van Oostrom
Lambda calculusMachine theoryRewriting systems (Computer science)Mathematical Logic and Formal LanguagesLambda-KalkülLogicMATHEMATICSAspektorientierte Programmierung
Writing a summary for young readers…
For young readers
Book data: Open Library