equal
deleted
inserted
replaced
1 |
1 |
2 @Unpublished{Traytel12, |
2 @Unpublished{Traytel12, |
3 author = {D.~Traytel and A.~Popescu and J.~C.~Blanchette}, |
3 author = {D.~Traytel and A.~Popescu and J.~C.~Blanchette}, |
4 title = {{F}oundational, {C}ompositional ({C}o)datatypes for {H}igher-{O}rder |
4 title = {{F}oundational, {C}ompositional ({C}o)datatypes for {H}igher-{O}rder |
5 {L}ogic: {C}ategory {T}heory {A}pplied to {T}heorem {P}roving}, |
5 {L}ogic: {C}ategory {T}heory {A}pplied to {T}heorem {P}roving}, |
6 note = {Submitted for publication}, |
6 note = {To appear in \emph{Proc.~of the 27th Symposium on Logic in Computer Science (LICS)}}, |
7 year = {2012} |
7 year = {2012} |
8 } |
8 } |
9 |
9 |
10 @inproceedings{pfenningsystem, |
10 @inproceedings{pfenningsystem, |
11 author = "F.~Pfenning and C.~Sch{\"u}rmann", |
11 author = "F.~Pfenning and C.~Sch{\"u}rmann", |
110 booktitle = {Proc.~of the 34th Symposium on Principles of Programming Languages (POPL)}, |
110 booktitle = {Proc.~of the 34th Symposium on Principles of Programming Languages (POPL)}, |
111 year = 2007, |
111 year = 2007, |
112 pages = {173--184} |
112 pages = {173--184} |
113 } |
113 } |
114 |
114 |
|
115 |
115 @Unpublished{chargueraud09, |
116 @Unpublished{chargueraud09, |
116 author = "A.~Chargu{\'e}raud", |
117 author = "A.~Chargu{\'e}raud", |
117 title = "{T}he {L}ocally {N}ameless {R}epresentation", |
118 title = "{T}he {L}ocally {N}ameless {R}epresentation", |
118 Note = "To appear in Journal of Automated Reasoning." |
119 note = "To appear in \emph{Journal of Automated Reasoning}" |
119 } |
120 } |
|
121 |
120 |
122 |
121 @article{NaraschewskiNipkow99, |
123 @article{NaraschewskiNipkow99, |
122 author={W.~Naraschewski and T.~Nipkow}, |
124 author={W.~Naraschewski and T.~Nipkow}, |
123 title={{T}ype {I}nference {V}erified: {A}lgorithm {W} in {Isabelle/HOL}}, |
125 title={{T}ype {I}nference {V}erified: {A}lgorithm {W} in {Isabelle/HOL}}, |
124 journal={Journal of Automated Reasoning}, |
126 journal={Journal of Automated Reasoning}, |
153 year = {2005}, |
155 year = {2005}, |
154 pages = {33-40} |
156 pages = {33-40} |
155 } |
157 } |
156 |
158 |
157 @Unpublished{Pitts04, |
159 @Unpublished{Pitts04, |
158 author = {A.~Pitts}, |
160 author = {A.~M.~Pitts}, |
159 title = {{N}otes on the {R}estriction {M}onad for {N}ominal {S}ets and {C}pos}, |
161 title = {{N}otes on the {R}estriction {M}onad for {N}ominal {S}ets and {C}pos}, |
160 note = {Unpublished notes for an invited talk given at CTCS}, |
162 note = {Unpublished notes for an invited talk given at CTCS}, |
161 year = {2004} |
163 year = {2004} |
162 } |
164 } |
163 |
165 |