View of Interactive Teaching of Programming Language Theory with a Proof Assistant

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