Saillard, R. (2015). Rewriting Modulo β in the λΠ-Calculus Modulo. Open Publishing Association.
Chicago Style (17th ed.) CitationSaillard, Ronan. Rewriting Modulo β in the λΠ-Calculus Modulo. Open Publishing Association, 2015.
MLA引文Saillard, Ronan. Rewriting Modulo β in the λΠ-Calculus Modulo. Open Publishing Association, 2015.
警告:這些引文格式不一定是100%准確.