Commit c10bfa14 authored by Samuel Ben Hamou's avatar Samuel Ben Hamou
Browse files

Suite rapport.

parent bbb28471
This diff is collapsed.
......@@ -32,4 +32,11 @@ author={Goubault-Larrecq, Jean},
title={Lambda-calcul et logique informatique, aspects logiques},
year={1999},
note={\url{http://www.lsv.fr/~goubault/Lambda/types.pdf}}
}
@misc{zfmod,
author={Werner, Benjamin},
title={Sets in Types, Types in Sets},
year={1997},
note={\url{http://www.lix.polytechnique.fr/Labo/Benjamin.Werner/publis/tacs97.pdf}}
}
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment