My Thesis

Lambda calculus, types system, interpreter, compiler, rewriting, resolution... and some other maths I love

See the Tex document (in French), the compiled pdf doc

Contains OCAML, SCHEME, COQ and AGDA code

Please see my "thesis"

Download main.pdf Have a happy reading !

Name		Name	Last commit message	Last commit date
Latest commit History 127 Commits
.vscode		.vscode
AGDA		AGDA
BOOK		BOOK
COQ		COQ
CSHARP		CSHARP
DREAM		DREAM
LLM		LLM
OCAML		OCAML
OCAMLtoJS		OCAMLtoJS
R		R
SCHEME		SCHEME
_build		_build
app		app
document		document
formalmetacoq		formalmetacoq
miniSchemev5		miniSchemev5
node_modules		node_modules
obj		obj
readme_fichiers		readme_fichiers
.gitignore		.gitignore
README.md		README.md
basique.html		basique.html
basique.synctex.gz		basique.synctex.gz
book.code-workspace		book.code-workspace
coqdoc.css		coqdoc.css
imp.html		imp.html
index.html		index.html
package-lock.json		package-lock.json
package.json		package.json
test		test
test.600pk		test.600pk
test.png		test.png
uncurry.html		uncurry.html

Provide feedback