Return to Article Details Logical reconstruction of programming language paradigms Download Download PDF