|
12430
|
1 |
@string{LNCS="Lect.\ Notes in Comp.\ Sci."}
|
|
|
2 |
@string{MIT="MIT Press"}
|
|
|
3 |
@string{Springer="Springer-Verlag"}
|
|
|
4 |
|
|
|
5 |
@book{Nielson,author={Hanne Riis Nielson and Flemming Nielson},
|
|
|
6 |
title={Semantics with Applications},publisher={Wiley},year=1992}
|
|
|
7 |
|
|
|
8 |
@book{Winskel,author={Glynn Winskel},
|
|
|
9 |
title={The Formal Semantics of Programming Languages},publisher=MIT,year=1993}
|
|
|
10 |
|
|
|
11 |
@inproceedings{Nipkow,author={Tobias Nipkow},
|
|
|
12 |
title={Winskel is (almost) Right: Towards a Mechanized Semantics Textbook},
|
|
|
13 |
booktitle=
|
|
|
14 |
{Foundations of Software Technology and Theoretical Computer Science},
|
|
|
15 |
editor={V. Chandru and V. Vinay},
|
|
|
16 |
publisher=Springer,series=LNCS,volume=1180,year=1996,pages={180--192}}
|