equal
deleted
inserted
replaced
38 author = "Clemens Ballarin", |
38 author = "Clemens Ballarin", |
39 title = "Interpretation of Locales in {Isabelle}: Managing Dependencies between Locales", |
39 title = "Interpretation of Locales in {Isabelle}: Managing Dependencies between Locales", |
40 institution = "Technische Universit{\"a}t M{\"u}nchen", |
40 institution = "Technische Universit{\"a}t M{\"u}nchen", |
41 number = "TUM-I0607", |
41 number = "TUM-I0607", |
42 year = 2006 |
42 year = 2006 |
|
43 } |
|
44 |
|
45 % TYPES 2003 |
|
46 |
|
47 @inproceedings{Ballarin2004a, |
|
48 author = "Clemens Ballarin", |
|
49 title = "Locales and Locale Expressions in {Isabelle/Isar}", |
|
50 pages = "34--50", |
|
51 crossref = "BerardiEtAl2004" |
|
52 } |
|
53 |
|
54 @proceedings{BerardiEtAl2004, |
|
55 editor = "Stefano Berardi and Mario Coppo and Ferruccio Damiani", |
|
56 title = "Types for Proofs and Programs, TYPES 2003, Torino, Italy", |
|
57 booktitle = "Types for Proofs and Programs, TYPES 2003, Torino, Italy", |
|
58 publisher = "Springer", |
|
59 series = "LNCS 3085", |
|
60 year = 2004 |
43 } |
61 } |
44 |
62 |
45 % TYPES 2008 |
63 % TYPES 2008 |
46 |
64 |
47 @inproceedings{HaftmannWenzel2009, |
65 @inproceedings{HaftmannWenzel2009, |