Skip to content

History / Abstracts.2021.Meaning

Revisions

  • Link to readable version of Constructive Mathematics and Computer Programming Published versions: - https://www.cs.tufts.edu/~nr/cs257/archive/per-martin-lof/constructive-math.pdf - https://raw.githubusercontent.com/michaelt/martin-lof/master/pdfs/Constructive-mathematics-and-computer-programming-1982.pdf

    @bafain bafain committed Feb 4, 2022
    d65d462

  • Updated Abstracts.2021.Meaning (markdown)

    Carlos Tomé committed Feb 4, 2022
    7533ca1

  • Updated Abstracts.2021.Meaning

    @bafain bafain committed Feb 2, 2022
    68fb432

  • Created Abstracts.2021.Meaning

    @bafain bafain committed Jan 23, 2022
    e96b91c