@yfyf yfyf add "A Tutorial on Proof Systems and Typed λ-Calculi" Oct 10, 2012 6dd0020
@yfyf yfyf add Paul Taylor's "Proofs and Types" Oct 7, 2012 b72bc57
@knuton knuton Updated Materials (markdown) Oct 5, 2012 b590807
@knuton knuton Add link to Materials Oct 5, 2012 d6526ce
@knuton knuton Add possible sources Oct 4, 2012 1a8f797
@knuton knuton Initial Commit Oct 4, 2012 59f3393