论文信息 - Mathematical Structures and their Morphisms in Meta-IV - 字舞流文

Mathematical Structures and their Morphisms in Meta-IV

Mícheál Mac an Airchinnigh

[1] Micha Sharir,et al. Some Observations Concerning Formal Differentiation of Set Theoretic Expressions , 2011, TOPL.

[2] Philip J. Davis,et al. The Mathematical Experience , 1982 .

[3] Leo R. Gotlieb,et al. Data types and structures , 1978 .

[4] Joseph E. Stoy. Foundations of Denotational Semantics , 1979, Abstract Software Specifications.

[5] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .

[6] Kenneth E. Iverson,et al. Notation as a tool of thought , 1980, APLQ.

[7] M. Arbib,et al. Arrows, Structures, and Functors: The Categorical Imperative , 1975 .

[8] Dines Bjørner,et al. The Vienna Development Method: The Meta-Language , 1978, Lecture Notes in Computer Science.

[9] John W. Backus,et al. Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[10] Dines Bjørner,et al. Abstract Software Specifications , 1982, Lecture Notes in Computer Science.