MPG.eBooks - Search Results - Language

Cover Image

1

Mathematical Foundations of Programming Semantics : 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings

Published 1994

Springer Berlin Heidelberg

Table of Contents: “...-language of PCF -- Another approach to sequentiality: Kleene's unimonotone functions -- Mechanizing logical...”

Cover Image

2

Mathematical Foundations of Programming Semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings

Published 1992

Springer Berlin Heidelberg

Table of Contents: “... and the lambda-value calculus -- From operational to denotational semantics -- A simple language supporting...”