equal
deleted
inserted
replaced
5 Proving in Higher Order Logics (TPHOLs)}, |
5 Proving in Higher Order Logics (TPHOLs)}, |
6 pages = {130--146}, |
6 pages = {130--146}, |
7 year = {2005}, |
7 year = {2005}, |
8 volume = {3603}, |
8 volume = {3603}, |
9 series = {LNCS} |
9 series = {LNCS} |
|
10 } |
|
11 |
|
12 @article{ott-jfp, |
|
13 author = {P.~Sewell and |
|
14 F.~Z.~Nardelli and |
|
15 S.~Owens and |
|
16 G.~Peskine and |
|
17 T.~Ridge and |
|
18 S.~Sarkar and |
|
19 R.~Strni\v{s}a}, |
|
20 title = {{Ott}: {E}ffective {T}ool {S}upport for the {W}orking {S}emanticist}, |
|
21 journal = {Journal of Functional Programming}, |
|
22 year = {2010}, |
|
23 volume = {20}, |
|
24 number = {1}, |
|
25 pages = {70--122} |
10 } |
26 } |
11 |
27 |
12 @INPROCEEDINGS{Pottier06, |
28 @INPROCEEDINGS{Pottier06, |
13 author = {F.~Pottier}, |
29 author = {F.~Pottier}, |
14 title = {{A}n {O}verview of {C$\alpha$ml}}, |
30 title = {{A}n {O}verview of {C$\alpha$ml}}, |