Constructive Mathematics and Computer Programming [and Discussion]

Autor: Martin-Lof, P., Lozinski, Z. A.

Publikováno v: Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 1984 Oct 01. 312(1522), 501-518.

Externí odkaz: https://www.jstor.org/stable/37448