michaelt/martin-lof issues and pull requests

#37 - wrong file in The two interpretations of natural deduction: how do they fit together?*

Issue - State: open - Opened by vcvpaiva 9 months ago

#36 - Add all pml.flu.cas.cz transcriptions

Pull Request - State: closed - Opened by bbentzen over 1 year ago

#35 - Transcripts from talks

Issue - State: closed - Opened by stevana about 2 years ago - 3 comments

#34 - Missing work: "Unifying Scott’s theory of domains for denotational semantics and intuitionistic type theory (Abstract)"

Issue - State: open - Opened by marklemay over 2 years ago

#33 - Add an elusive text with special permission from the author

Pull Request - State: closed - Opened by wilbowma about 3 years ago - 2 comments

#32 - cite the original tech report rather then the reprint

Pull Request - State: open - Opened by marklemay over 3 years ago

#31 - more exhaustive bibliography (.bib)

Pull Request - State: open - Opened by orpheuslummis over 3 years ago

#30 - [ fix #27 ] use local links

Pull Request - State: closed - Opened by gallais over 3 years ago

#29 - new bib entries

Pull Request - State: closed - Opened by RobertHarper over 3 years ago - 1 comment
Labels: enhancement

#28 - underpopulated .bib

Issue - State: closed - Opened by RobertHarper over 3 years ago - 2 comments

#27 - Missing paper

Issue - State: closed - Opened by RobertHarper over 3 years ago - 2 comments
Labels: bug

#26 - Missing work: Mortality rate calculations on ringed birds with special reference to the Dunlin (Calidris alpina)

Issue - State: open - Opened by ayberkt almost 4 years ago

#25 - Philosophical implications of type theory 1987

Issue - State: open - Opened by mariasinnikova about 4 years ago - 2 comments

#24 - added Peter Dybjer's version of the 1979 Constructive Mathematics and Computer Programming

Pull Request - State: closed - Opened by wmacmil about 4 years ago - 3 comments

#23 - "Assertion and Request"

Issue - State: closed - Opened by bblfish over 4 years ago - 4 comments

#22 - typeset version of The-logic-of-judgements-1987.pdf

Pull Request - State: closed - Opened by mchristianl almost 6 years ago - 3 comments
Labels: enhancement

#21 - Missing work: 1986 lecture notes

Issue - State: open - Opened by czwanzig over 6 years ago - 3 comments

#20 - Missing work: Hauptsatz for the Theory of Species

Issue - State: closed - Opened by asr almost 7 years ago - 1 comment

#19 - Missing work: A Construction of the Provable Wellorderings of the Theory of Species

Issue - State: open - Opened by asr almost 7 years ago

#18 - Parts not readable in paper from 1979

Issue - State: open - Opened by ndcroos almost 7 years ago - 1 comment

#17 - Wrong year for 'On the Meanings of the Logical Constants...' in the README

Issue - State: open - Opened by asr about 7 years ago - 5 comments

#16 - 100 year ZFC, wrong year in bib file ?

Issue - State: open - Opened by gunpinyo over 7 years ago - 1 comment

#15 - scantailor 1982

Pull Request - State: closed - Opened by mattearnshaw about 8 years ago - 1 comment
Labels: enhancement

#14 - optimize 1972b, 1991 PDFs

Pull Request - State: closed - Opened by mattearnshaw over 8 years ago - 2 comments

#13 - fix 404 URL in README

Pull Request - State: closed - Opened by mattearnshaw over 8 years ago

#12 - file does not load

Issue - State: closed - Opened by vladimirias about 9 years ago - 5 comments

#11 - A Path from Logic to Metaphysics

Issue - State: closed - Opened by dwbcampbell over 9 years ago - 4 comments

#10 - Missing pieces

Issue - State: closed - Opened by stevana over 9 years ago - 5 comments

#9 - Replace book with corrected copy

Pull Request - State: closed - Opened by mietek over 9 years ago - 3 comments

#8 - syntax&semantics of primitive recursive functions & "informal notes on foundations" are the same

Issue - State: closed - Opened by jonsterling over 9 years ago - 4 comments

#7 - Add 1969 Informal Notes on Foundations

Pull Request - State: closed - Opened by jonsterling almost 10 years ago - 1 comment

#6 - Fixed typos in filenames as well

Pull Request - State: closed - Opened by mortberg about 10 years ago - 2 comments

#5 - Fixing a typo

Pull Request - State: closed - Opened by mortberg about 10 years ago - 1 comment

#4 - Added lots of stuff I got from Hank (thanks!)

Pull Request - State: closed - Opened by stevana over 10 years ago - 1 comment

#3 - Table in README + Direct Download links + pdfs/ directory

Pull Request - State: closed - Opened by gallais over 10 years ago - 1 comment

#2 - Three more papers with sources, a couple without, as well as fixing the broken link from the last pull request and adding a bib file.

Pull Request - State: closed - Opened by stevana over 10 years ago

#1 - [ 2 new files ] Model Constr. + Predicative Part