Observational program calculi and the correctness of translations
- Authors
- Abramsky
- Abramsky
- Ahmed
- Ahmed
- Ahmed
- Ahmed
- Appel
- Astesiano
- Barendregt
- Benton
- Carayol
- Chlipala
- David Sabel
- De Nicola
- de'Liguoro
- Felleisen
- Ford
- Fournet
- Gladstein
- Gordon
- Howe
- Hu
- Hur
- Hur
- Jan Schwinghammer
- Jim
- Joachim Niehren
- Kutzner
- Leroy
- Manfred Schmidt-Schauß
- Mason
- McCarthy
- McCusker
- Milner
- Milner
- Milner
- Mitchell
- Morris
- Morrisett
- Nain
- Niehren
- Niehren
- Palamidessi
- Peyton Jones
- Pierce
- Pitts
- Pitts
- Plotkin
- Rau
- Rau
- Riecke
- Ritter
- Sabel
- Sabel
- Sabel
- Sabel
- Sabel
- Sabel
- Sanjabi
- Schmidt-Schauß
- Schmidt-Schauß
- Schmidt-Schauß
- Schmidt-Schauß
- Schmidt-Schauß
- Schmidt-Schauß
- Schmidt-Schauß
- Schmidt-Schauß
- Schwinghammer
- Shapiro
- Sumii
- Wand
- Wells
- Publication date
- Publisher
- 'Elsevier BV'
- Doi