ipcf

Intensionality, Intensional Recursion, and the Gödel-Löb axiom (IMLA 2017)

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
.gitignore		.gitignore
README.md		README.md
ipcf-conf.tex		ipcf-conf.tex
ipcfbeta.tex		ipcfbeta.tex
ipcfconflproof.tex		ipcfconflproof.tex
ipcfdefn.tex		ipcfdefn.tex
ipcfeq.tex		ipcfeq.tex
ipcfparallel.tex		ipcfparallel.tex
library.bib		library.bib
myifcolog.cls		myifcolog.cls
prooftree.sty		prooftree.sty

Provide feedback