Comments (5)
jonsterling
commented on August 22, 2024
For understanding the progression of Martin-Löf's Thought, it's more useful IMO to have the 1983 date; for bibliographical purposes, of course the data of publishing should be used. At least, that's my two cents.
from martin-lof.
asr
commented on August 22, 2024
I have seen cited a previous version of the article as
Per Martin-Löf. On the meanings of the logical constants and the justifications of the logical laws. Technical Report 2, Scuola di Specializzazione in Logica Matematica, Dipartimento di Matematica, Università di Siena, 1985.
Is this technical report available? If so, we could have the two entries in the README.
from martin-lof.
asr
commented on August 22, 2024
It seems the above technical report is available here. Should I create a PR adding this technical report?
from martin-lof.
jonsterling
commented on August 22, 2024
It seems the above technical report is available here. Should I create a PR adding this technical report?
Is this any different from the standard version? I'm curious. At first glance it just looks like different typesetting...
from martin-lof.
asr
commented on August 22, 2024
From the last page in the 1996 paper:
The preceding three lectures were originally published in the Atti degli Incontri di Logica Matematica, Vol. 2, Scuola di Specializzazione in Logica Matematica, Dipartimento di Matematica, Università di Siena, 1985, pp. 203–281. Since they have been difficult to obtain, and are now even out of print, they are reprinted here by kind permission of the Dipartimento di Matematica, Università di Siena. Only typing errors have been corrected.
from martin-lof.
Related Issues (18)
- Missing pieces HOT 5
- A Path from Logic to Metaphysics HOT 4
- file does not load HOT 5
- 100 year ZFC, wrong year in bib file ? HOT 1
- Parts not readable in paper from 1979 HOT 1
- Missing work: A Construction of the Provable Wellorderings of the Theory of Species
- Missing work: Hauptsatz for the Theory of Species HOT 1
- Missing work: 1986 lecture notes HOT 3
- "Assertion and Request" HOT 4
- Philosophical implications of type theory 1987 HOT 2
- Missing work: Mortality rate calculations on ringed birds with special reference to the Dunlin (Calidris alpina)
- Missing paper HOT 2
- underpopulated .bib HOT 2
- Missing work: "Unifying Scott’s theory of domains for denotational semantics and intuitionistic type theory (Abstract)"
- Transcripts from talks HOT 3
- wrong file in The two interpretations of natural deduction: how do they fit together?*
- syntax&semantics of primitive recursive functions & "informal notes on foundations" are the same HOT 4
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from martin-lof.