SØRENSEN, Morten Heine B. - URZYCZYN, Pawel. Lectures on the Curry-Howard isomorphism. First edition. Amsterdam ; Oxford : Elsevier, 2006. Studies in logic and the foundations of mathematics ; Volume 149. ISBN 0-444-52077-5.

Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel.