equal
deleted
inserted
replaced
38 } |
38 } |
39 |
39 |
40 @Unpublished{chargueraud09, |
40 @Unpublished{chargueraud09, |
41 author = "A.~Chargu{\'e}raud", |
41 author = "A.~Chargu{\'e}raud", |
42 title = "{T}he {L}ocally {N}ameless {R}epresentation", |
42 title = "{T}he {L}ocally {N}ameless {R}epresentation", |
43 year = "2009", |
43 Note = "To appear in J.~of Automated Reasoning." |
44 note = "To appear in J.~of Automated Reasoning. |
|
45 http://arthur.chargueraud.org/research/2009/ln", |
|
46 } |
44 } |
47 |
45 |
48 @article{NaraschewskiNipkow99, |
46 @article{NaraschewskiNipkow99, |
49 author={W.~Naraschewski and T.~Nipkow}, |
47 author={W.~Naraschewski and T.~Nipkow}, |
50 title={{T}ype {I}nference {V}erified: {A}lgorithm {W} in {Isabelle/HOL}}, |
48 title={{T}ype {I}nference {V}erified: {A}lgorithm {W} in {Isabelle/HOL}}, |
132 volume = {148}, |
130 volume = {148}, |
133 number = {2}, |
131 number = {2}, |
134 series = {ENTCS} |
132 series = {ENTCS} |
135 } |
133 } |
136 |
134 |
137 @Unpublished{HuffmanUrban10, |
135 @inproceedings{HuffmanUrban10, |
138 author = {B.~Huffman and C.~Urban}, |
136 author = {B.~Huffman and C.~Urban}, |
139 title = {{P}roof {P}earl: {A} {N}ew {F}oundation for {N}ominal {I}sabelle}, |
137 title = {{P}roof {P}earl: {A} {N}ew {F}oundation for {N}ominal {I}sabelle}, |
140 note = {To appear at {\it ITP'10 Conference}, |
138 booktitle = {Proc.~of the 1st ITP Conference}, |
141 http://www4.in.tum.de/\~{}urbanc/Publications/nominal-atoms.pdf}, |
139 pages = {35--50}, |
|
140 volume = {6172}, |
|
141 series = {LNCS}, |
142 year = {2010} |
142 year = {2010} |
143 } |
143 } |
144 |
144 |
145 @PhdThesis{Leroy92, |
145 @PhdThesis{Leroy92, |
146 author = {X.~Leroy}, |
146 author = {X.~Leroy}, |