Full abstraction for the second order subset of an Algol-like language

By Sieber K.  

Theoretical Computer Science, Vol. 168, Iss. 1, 1996-11 ,pp. : 155-212

Elsevier

Access to resources Recommend Favorite

Full abstraction for Idealized Algol with passive expressions

By Abramsky S.   McCusker G.  

Theoretical Computer Science, Vol. 227, Iss. 1, 1999-09 ,pp. : 3-42

Elsevier

Access to resources Recommend Favorite

The purpose of second-order cybernetics

By Glanville Ranulph  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 33, Iss. 9-10, 2004-09 ,pp. : 1379-1386

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

A fully abstract semantics for a higher-order functional language with nondeterministic computation

By Jeffrey A.  

Theoretical Computer Science, Vol. 228, Iss. 1, 1999-10 ,pp. : 105-150

Elsevier

Access to resources Recommend Favorite

Second-order cybernetics: an historical introduction

By Scott Bernard  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 33, Iss. 9-10, 2004-09 ,pp. : 1365-1378

Emerald Group Publishing Ltd

Access to resources Recommend Favorite