michaelt martin-lof issues

michaelt / martin-lof

papers of Per Martin Löf

742 stars 64 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

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

#37 vcvpaiva opened 7 months ago
0
Add all pml.flu.cas.cz transcriptions

#36 bbentzen closed 7 months ago
0
Transcripts from talks

#35 stevana closed 7 months ago
3
Missing work: "Unifying Scott’s theory of domains for denotational semantics and intuitionistic type theory (Abstract)"

#34 marklemay opened 2 years ago
0
Add an elusive text with special permission from the author

#33 wilbowma closed 2 years ago
2
cite the original tech report rather then the reprint

#32 marklemay opened 3 years ago
0
more exhaustive bibliography (.bib)

#31 orpheuslummis opened 3 years ago
0
[ fix #27 ] use local links

#30 gallais closed 3 years ago
0
new bib entries

#29 RobertHarper closed 3 years ago
1
underpopulated .bib

#28 RobertHarper closed 3 years ago
2
Missing paper

#27 RobertHarper closed 3 years ago
2
Missing work: Mortality rate calculations on ringed birds with special reference to the Dunlin (Calidris alpina)

#26 ayberkt opened 3 years ago
0
Philosophical implications of type theory 1987

#25 mariasinnikova opened 4 years ago
2
added Peter Dybjer's version of the 1979 Constructive Mathematics and Computer Programming

#24 wmacmil closed 4 years ago
3
"Assertion and Request"

#23 bblfish closed 7 months ago
4
typeset version of The-logic-of-judgements-1987.pdf

#22 mchristianl closed 3 years ago
3
Missing work: 1986 lecture notes

#21 czwanzig opened 6 years ago
3
Missing work: Hauptsatz for the Theory of Species

#20 asr closed 5 years ago
1
Missing work: A Construction of the Provable Wellorderings of the Theory of Species

#19 asr opened 6 years ago
0
Parts not readable in paper from 1979

#18 ndcroos opened 6 years ago
1
Wrong year for 'On the Meanings of the Logical Constants...' in the README

#17 asr opened 7 years ago
5
100 year ZFC, wrong year in bib file ?

#16 gunpinyo opened 7 years ago
1
scantailor 1982

#15 mattearnshaw closed 3 years ago
1
optimize 1972b, 1991 PDFs

#14 mattearnshaw closed 8 years ago
2
fix 404 URL in README

#13 mattearnshaw closed 8 years ago
0
file does not load

#12 vladimirias closed 8 years ago
5
A Path from Logic to Metaphysics

#11 dwbcampbell closed 8 years ago
4
Missing pieces

#10 stevana closed 7 months ago
5
Replace book with corrected copy

#9 mietek closed 9 years ago
3
syntax&semantics of primitive recursive functions & "informal notes on foundations" are the same

#8 jonsterling closed 9 years ago
4
Add 1969 Informal Notes on Foundations

#7 jonsterling closed 9 years ago
1
Fixed typos in filenames as well

#6 mortberg closed 9 years ago
2
Fixing a typo

#5 mortberg closed 9 years ago
1
Added lots of stuff I got from Hank (thanks!)

#4 stevana closed 10 years ago
1
Table in README + Direct Download links + pdfs/ directory

#3 gallais closed 10 years ago
1
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.

#2 stevana closed 10 years ago
0
[ 2 new files ] Model Constr. + Predicative Part

#1 gallais closed 10 years ago
1