Return to Article Details Interactive Teaching of Programming Language Theory with a Proof Assistant Download Download PDF