CiteSeer.IST Home  Similar documents based on text:  A Structural Approach to Operational Semantics - Plotkin (1981)   (Correct)

Similar documents based on text:   All related documents
0.3:   A Structural Approach to Operational Semantics - Plotkin (1981)   (Correct)
0.0:   Concrete Domains - Kahn, Plotkin (1993)   (Correct)
0.0:   Lecture Notes on Semantics of Programming Languages - for Part IB.. - Pitts (1997)   (Correct)
0.0:   [8] R. Milner, - Communication And   (Correct)
0.0:   Semantic and Logical Properties of Stateful Programming - Calcagno (2002)   (Correct)
0.0:   Full completeness of the multiplicative linear logic of Chu.. - Harish Devarajan   (Correct)
0.0:   Full Completeness of the Multiplicative Linear Logic of.. - Devarajan, Plotkin, Pratt   (Correct)
0.0:   Structures, Languages and Translations: the Structural Approach.. - Blackburn   (Correct)

CiteSeer.IST - Copyright Penn State and NEC