Search results for: Jan A. Bergstra
Lecture Notes in Computer Science > Prospects for Hardware Foundations > II Hardware And Dynamical Systems > 278-308
Lecture Notes in Computer Science > Processes, Terms and Cycles: Steps on the Road to Infinity > 445-495
Lecture Notes in Computer Science > Algebra, Meaning, and Computation > Models, Deduction, and Computation > 459-475