Add three papers and a book.
Chris Pressey
10 months ago
| 28 | 28 |
|
| 29 | 29 |
### Papers
|
| 30 | 30 |
|
|
31 |
[A Short Introduction to the Lambda Calculus](https://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf)
|
|
32 |
|
| 31 | 33 |
[Introduction to Lambda Calculus](https://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf)
|
| 32 | 34 |
|
| 33 | 35 |
[Chapter 5: The Untyped Lambda Calculus (slides) (pdf)](https://xiongyingfei.github.io/DPPL/2021/xiong_ch5.pdf)
|
| 5 | 5 |
|
| 6 | 6 |
SPDX-License-Identifier: CC0-1.0
|
| 7 | 7 |
-->
|
|
8 |
|
|
9 |
### A Short Introduction to the Lambda Calculus
|
|
10 |
|
|
11 |
* authors: Achim Jung
|
|
12 |
* date: 2004
|
|
13 |
* url: https://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf
|
|
14 |
* rating: 2
|
|
15 |
|
|
16 |
.
|
| 8 | 17 |
|
| 9 | 18 |
### Introduction to Lambda Calculus
|
| 10 | 19 |
|
| 21 | 21 |
Towards a Semantic Description of English (borrow @ [archive.org](https://archive.org/details/towardssemanticd0000leec))
|
| 22 | 22 |
|
| 23 | 23 |
An Introduction to Unification-based Approaches to Grammar (online @ [dash.harvard.edu](https://dash.harvard.edu/bitstream/handle/1/11576719/shieber-uagf-distrib-130816_0.pdf)) (borrow @ [archive.org](https://archive.org/details/introductiontoun00shie))
|
|
24 |
|
|
25 |
The Language Complexity Game (borrow @ [archive.org](https://archive.org/details/languagecomplexi00rist))
|
| 51 | 51 |
* topics: Linguistics, Formal Language, Unification
|
| 52 | 52 |
|
| 53 | 53 |
The PDF is CC-BY-3.0-unported.
|
|
54 |
|
|
55 |
### The Language Complexity Game
|
|
56 |
|
|
57 |
* authors: Eric Sven Ristad
|
|
58 |
* date: 1993
|
|
59 |
* borrow @ [archive.org](https://archive.org/details/languagecomplexi00rist)
|
|
60 |
* rating: TODO
|
|
61 |
|
|
62 |
.
|
| 42 | 42 |
|
| 43 | 43 |
Syntax versus Semantics (online @ [arxiv.org](https://arxiv.org/abs/1507.04678))
|
| 44 | 44 |
|
|
45 |
A Paedagogic Example of Cut-Elimination (online @ [richardzach.org](https://richardzach.org/wp-content/uploads/2016/09/cutel.pdf))
|
|
46 |
|
| 45 | 47 |
Towards Applied Theories based on Computability Logic (online @ [arxiv.org](https://arxiv.org/abs/0805.3521v4))
|
| 46 | 48 |
|
| 47 | 49 |
### Books
|
| 28 | 28 |
Distinguishing symbols pertaining to the syntax, from symbols pertaining to the
|
| 29 | 29 |
semantics, by colouring them differently.
|
| 30 | 30 |
|
|
31 |
### A Paedagogic Example of Cut-Elimination
|
|
32 |
|
|
33 |
* authors: Richard Zach
|
|
34 |
* date: 1992
|
|
35 |
* online @ [richardzach.org](https://richardzach.org/wp-content/uploads/2016/09/cutel.pdf)
|
|
36 |
* rating: 1
|
|
37 |
|
|
38 |
.
|
|
39 |
|
| 31 | 40 |
### Towards Applied Theories based on Computability Logic
|
| 32 | 41 |
|
| 33 | 42 |
* authors: Giorgi Japaridze
|
| 11 | 11 |
|
| 12 | 12 |
<!-- TOTALS -->
|
| 13 | 13 |
|
| 14 | |
Currently it consists of **555** web pages, **109** papers, and **139** books in **78** topics.
|
|
14 |
Currently it consists of **555** web pages, **112** papers, and **140** books in **78** topics.
|
| 15 | 15 |
|
| 16 | 16 |
<!-- /TOTALS -->
|
| 17 | 17 |
|
| 74 | 74 |
* [archive.org](https://archive.org/details/englishtransform0000jaco_p1k5) (English Transformational Grammar)
|
| 75 | 75 |
* [archive.org](https://archive.org/details/modernenglishlin0000brod) (Modern English Linguistics)
|
| 76 | 76 |
* [archive.org](https://archive.org/details/towardssemanticd0000leec) (Towards a Semantic Description of English)
|
|
77 |
* [archive.org](https://archive.org/details/languagecomplexi00rist) (The Language Complexity Game)
|
| 77 | 78 |
|
| 78 | 79 |
### Literature
|
| 79 | 80 |
|
|
| 200 | 201 |
### Topology
|
| 201 | 202 |
|
| 202 | 203 |
* [www.math.uchicago.edu](https://www.math.uchicago.edu/~may/MISC/FiniteSpaces.pdf) (Finite Topological Spaces)
|
|
204 |
* [arxiv.org](https://arxiv.org/abs/0708.2136) (A Short Study of Alexandroff Spaces)
|
| 203 | 205 |
|
| 204 | 206 |
### Type Systems
|
| 205 | 207 |
|
| 20 | 20 |
|
| 21 | 21 |
Finite Topological Spaces (online @ [www.math.uchicago.edu](https://www.math.uchicago.edu/~may/MISC/FiniteSpaces.pdf))
|
| 22 | 22 |
|
|
23 |
A Short Study of Alexandroff Spaces (online @ [arxiv.org](https://arxiv.org/abs/0708.2136))
|
|
24 |
|
| 23 | 25 |
### Books
|
| 24 | 26 |
|
| 25 | 27 |
Introduction to topology (borrow @ [archive.org](https://archive.org/details/introductiontoto0000mend))
|
| 25 | 25 |
* rating: TODO
|
| 26 | 26 |
|
| 27 | 27 |
Lecture notes.
|
|
28 |
|
|
29 |
### A Short Study of Alexandroff Spaces
|
|
30 |
|
|
31 |
* authors: Timothy Speer
|
|
32 |
* date: 2007
|
|
33 |
* online @ [arxiv.org](https://arxiv.org/abs/0708.2136)
|
|
34 |
* rating: TODO
|
|
35 |
|
|
36 |
.
|