equal
deleted
inserted
replaced
|
1 |
|
2 @Unpublished{Traytel12, |
|
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 |
|
5 {L}ogic: {C}ategory {T}heory {A}pplied to {T}heorem {P}roving}, |
|
6 note = {Submitted for publication.}, |
|
7 year = {2012} |
|
8 } |
|
9 |
1 @inproceedings{pfenningsystem, |
10 @inproceedings{pfenningsystem, |
2 author = "F.~Pfenning and C.~Sch{\"u}rmann", |
11 author = "F.~Pfenning and C.~Sch{\"u}rmann", |
3 title = "{S}ystem {D}escription: {T}welf - {A} {M}eta-{L}ogical |
12 title = "{S}ystem {D}escription: {T}welf - {A} {M}eta-{L}ogical |
4 {F}ramework for {D}eductive {S}ystems", |
13 {F}ramework for {D}eductive {S}ystems", |
5 booktitle = "Proc.~of the 16th International Conference on Automated Deduction (CADE)", |
14 booktitle = "Proc.~of the 16th International Conference on Automated Deduction (CADE)", |