GitHub - konn/realisability-note: My old manuscript of survey on classical realisability

konn / realisability-note Public

My old manuscript of survey on classical realisability

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 37 Commits
.gitignore		.gitignore
.yatexrc		.yatexrc
01-background.tex		01-background.tex
02-realisability-algebras.tex		02-realisability-algebras.tex
03-equivalent-formulation.tex		03-equivalent-formulation.tex
04-naturals-and-dc.tex		04-naturals-and-dc.tex
05-model-of-threads.tex		05-model-of-threads.tex
06-structure-of-models.tex		06-structure-of-models.tex
config.tex		config.tex
realisability.pdf		realisability.pdf
realisability.tex		realisability.tex