soundness and completeness proofs for a CK machine as well as proofs for type preservation
soundness and completeness proofs for a CK machine as
well as proofs for type preservation

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle