├── .gitignore ├── README.md ├── archive ├── README.md ├── homework1.tex ├── homework2.tex └── homework3.tex ├── notes ├── Makefile ├── README.md ├── assemblies.tex ├── categories-of-assemblies.tex ├── cca.bib ├── computable_spaces.tex ├── digraph.dot ├── digraph.eps ├── digraph.pdf ├── implementation.tex ├── internal-work.tex ├── introduction.tex ├── kao.sty ├── kaobiblio.sty ├── kaobook.cls ├── kaorefs.sty ├── kaotheorems.sty ├── logic.v ├── macros.tex ├── mathpartir.sty ├── mgs-exercises.tex ├── models.tex ├── notes-on-realizability.tex ├── notes.bib ├── preface.tex ├── realizability-logic.tex ├── realizability.bib ├── schools.tex ├── simulations.tex ├── turing_machine.eps ├── turing_machine.fig ├── turing_machine.pdf └── type-theory.tex ├── publish-exercises.sh ├── publish-notes.sh └── reading ├── CStruct.pdf ├── EQU.pdf ├── JRHHislamWeb.pdf ├── Kleene45.pdf ├── LCF.pdf ├── LongleyPhDThesis.pdf ├── ScottSemilattices.pdf ├── TTE.pdf ├── Turing_1936_IBID.pdf └── church32.pdf /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/README.md -------------------------------------------------------------------------------- /archive/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/archive/README.md -------------------------------------------------------------------------------- /archive/homework1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/archive/homework1.tex -------------------------------------------------------------------------------- /archive/homework2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/archive/homework2.tex -------------------------------------------------------------------------------- /archive/homework3.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/archive/homework3.tex -------------------------------------------------------------------------------- /notes/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/Makefile -------------------------------------------------------------------------------- /notes/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/README.md -------------------------------------------------------------------------------- /notes/assemblies.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/assemblies.tex -------------------------------------------------------------------------------- /notes/categories-of-assemblies.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/categories-of-assemblies.tex -------------------------------------------------------------------------------- /notes/cca.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/cca.bib -------------------------------------------------------------------------------- /notes/computable_spaces.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/computable_spaces.tex -------------------------------------------------------------------------------- /notes/digraph.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/digraph.dot -------------------------------------------------------------------------------- /notes/digraph.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/digraph.eps -------------------------------------------------------------------------------- /notes/digraph.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/digraph.pdf -------------------------------------------------------------------------------- /notes/implementation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/implementation.tex -------------------------------------------------------------------------------- /notes/internal-work.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/internal-work.tex -------------------------------------------------------------------------------- /notes/introduction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/introduction.tex -------------------------------------------------------------------------------- /notes/kao.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/kao.sty -------------------------------------------------------------------------------- /notes/kaobiblio.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/kaobiblio.sty -------------------------------------------------------------------------------- /notes/kaobook.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/kaobook.cls -------------------------------------------------------------------------------- /notes/kaorefs.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/kaorefs.sty -------------------------------------------------------------------------------- /notes/kaotheorems.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/kaotheorems.sty -------------------------------------------------------------------------------- /notes/logic.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/logic.v -------------------------------------------------------------------------------- /notes/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/macros.tex -------------------------------------------------------------------------------- /notes/mathpartir.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/mathpartir.sty -------------------------------------------------------------------------------- /notes/mgs-exercises.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/mgs-exercises.tex -------------------------------------------------------------------------------- /notes/models.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/models.tex -------------------------------------------------------------------------------- /notes/notes-on-realizability.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/notes-on-realizability.tex -------------------------------------------------------------------------------- /notes/notes.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/notes.bib -------------------------------------------------------------------------------- /notes/preface.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/preface.tex -------------------------------------------------------------------------------- /notes/realizability-logic.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/realizability-logic.tex -------------------------------------------------------------------------------- /notes/realizability.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/realizability.bib -------------------------------------------------------------------------------- /notes/schools.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/schools.tex -------------------------------------------------------------------------------- /notes/simulations.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/simulations.tex -------------------------------------------------------------------------------- /notes/turing_machine.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/turing_machine.eps -------------------------------------------------------------------------------- /notes/turing_machine.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/turing_machine.fig -------------------------------------------------------------------------------- /notes/turing_machine.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/turing_machine.pdf -------------------------------------------------------------------------------- /notes/type-theory.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/notes/type-theory.tex -------------------------------------------------------------------------------- /publish-exercises.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/publish-exercises.sh -------------------------------------------------------------------------------- /publish-notes.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/publish-notes.sh -------------------------------------------------------------------------------- /reading/CStruct.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/reading/CStruct.pdf -------------------------------------------------------------------------------- /reading/EQU.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/reading/EQU.pdf -------------------------------------------------------------------------------- /reading/JRHHislamWeb.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/reading/JRHHislamWeb.pdf -------------------------------------------------------------------------------- /reading/Kleene45.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/reading/Kleene45.pdf -------------------------------------------------------------------------------- /reading/LCF.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/reading/LCF.pdf -------------------------------------------------------------------------------- /reading/LongleyPhDThesis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/reading/LongleyPhDThesis.pdf -------------------------------------------------------------------------------- /reading/ScottSemilattices.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/reading/ScottSemilattices.pdf -------------------------------------------------------------------------------- /reading/TTE.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/reading/TTE.pdf -------------------------------------------------------------------------------- /reading/Turing_1936_IBID.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/reading/Turing_1936_IBID.pdf -------------------------------------------------------------------------------- /reading/church32.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/notes-on-realizability/HEAD/reading/church32.pdf --------------------------------------------------------------------------------