论文信息 - Some Observations on Compositional Semantics - 字舞流文

Some Observations on Compositional Semantics

Peter van Emde Boas | Theo M. V. Janssen | P. Boas | T. Janssen

[1] Joseph E. Stoy,et al. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[2] Hartmut Ehrig,et al. Stepwise Specification and Implementation of Abstract Data Types , 1978, ICALP.

[3] Joseph A. Goguen,et al. Initial Algebra Semantics and Continuous Algebras , 1977, J. ACM.

[4] Joseph A. Goguen,et al. Some Fundamentals of Order-Algebraic Semantics , 1976, MFCS.

[5] Richard Montague,et al. The Proper Treatment of Quantification in Ordinary English , 1973 .

[6] Antoni W. Mazurkiewicz. Parallel Recursive Program Schemes , 1975, MFCS.

[7] Robin Milner,et al. Processes: A Mathematical Model of Computing Agents , 1975 .

[8] R. Montague. Formal philosophy; selected papers of Richard Montague , 1974 .

[9] Peter Lucas,et al. Formal Semantics of Programming Languages: VDL , 1981, IBM J. Res. Dev..

[10] Peter van Emde Boas,et al. The Expressive Power of Intensional Logic in the Semantics of Programming Languages , 1977, MFCS.

[11] B. Partee. Montague Grammar and Transformational Grammar. , 1975 .