1 @Unpublished{HuffmanUrban10, |
1 @Unpublished{HuffmanUrban10, |
2 author = {B.~Huffman and C.~Urban}, |
2 author = {B.~Huffman and C.~Urban}, |
3 title = {{P}roof {P}earl: {A} {N}ew {F}oundation for {N}ominal {I}sabelle}, |
3 title = {{P}roof {P}earl: {A} {N}ew {F}oundation for {N}ominal {I}sabelle}, |
4 note = {http://www4.in.tum.de/\~{}urbanc/Publications/nominal-atoms.pdf}, |
4 note = {http://www4.in.tum.de/\~{}urbanc/Publications/nominal-atoms.pdf}, |
5 year = {2010} |
5 year = {2010} |
|
6 } |
|
7 |
|
8 @PhdThesis{Leroy92, |
|
9 author = {X.~Leroy}, |
|
10 title = {{P}olymorphic {T}yping of an {A}lgorithmic {L}anguage}, |
|
11 school = {University Paris 7}, |
|
12 year = {1992}, |
|
13 note = {INRIA Research Report, No~1778} |
|
14 } |
|
15 |
|
16 @Unpublished{SewellBestiary, |
|
17 author = {P.~Sewell}, |
|
18 title = {{A} {B}inding {B}estiary}, |
|
19 note = {Personal communication.} |
6 } |
20 } |
7 |
21 |
8 @Unpublished{SatoPollack10, |
22 @Unpublished{SatoPollack10, |
9 author = {M.~Sato and R.~Pollack}, |
23 author = {M.~Sato and R.~Pollack}, |
10 title = {{E}xternal and {I}nternal {S}yntax of the {L}ambda-{C}alculus}, |
24 title = {{E}xternal and {I}nternal {S}yntax of the {L}ambda-{C}alculus}, |