equal
deleted
inserted
replaced
9 @Unpublished{chargueraud09, |
9 @Unpublished{chargueraud09, |
10 author = "A.~Chargu{\'e}raud", |
10 author = "A.~Chargu{\'e}raud", |
11 title = "{T}he {L}ocally {N}ameless {R}epresentation", |
11 title = "{T}he {L}ocally {N}ameless {R}epresentation", |
12 year = "2009", |
12 year = "2009", |
13 note = "To appear in J.~of Automated Reasoning. |
13 note = "To appear in J.~of Automated Reasoning. |
14 {http://arthur.chargueraud.org/research/2009/ln/}", |
14 http://arthur.chargueraud.org/research/2009/ln", |
15 } |
15 } |
16 |
16 |
17 @article{NaraschewskiNipkow99, |
17 @article{NaraschewskiNipkow99, |
18 author={W.~Naraschewski and T.~Nipkow}, |
18 author={W.~Naraschewski and T.~Nipkow}, |
19 title={{T}ype {I}nference {V}erified: {A}lgorithm {W} in {Isabelle/HOL}}, |
19 title={{T}ype {I}nference {V}erified: {A}lgorithm {W} in {Isabelle/HOL}}, |