GitHub - ncfavier/ll: Internship on the phase semantics of linear logic · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
.gitignore		.gitignore
focus.png		focus.png
report.bib		report.bib
report.pdf		report.pdf
report.tex		report.tex

About

Internship on the phase semantics of linear logic

raw.githubusercontent.com/ncfavier/ll/master/report.pdf

Report repository

Contributors

Languages

TeX 100.0%