Skip to content

History / Abstracts.2021.Norm.DTT

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.Norm.DTT

    @bafain bafain committed Dec 4, 2021
    f20790c

  • Updated Abstracts.2021.Norm.DTT (markdown)

    @nachivpn nachivpn committed Nov 29, 2021
    b6a2672

  • Updated Abstracts.2021.Norm.DTT

    @bafain bafain committed Nov 29, 2021
    a690adf

  • Created Abstracts.2021.Norm.DTT (markdown)

    @nachivpn nachivpn committed Nov 28, 2021
    b2ae924