Abstract Control Structures And The Semantics Of Quantifiers

  title={Abstract Control Structures And The Semantics Of Quantifiers},
  author={Steven Cushing},
CONTROL STRUCTURES AND THE SEMANTICS OF QUANTIFIERS Steven Cushing Computer ~ Science Department : " St. Anselm College Manchester, New Hampshire, 03102 USA 

From This Paper

Figures and tables from this paper.


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 11 references

Towards a Theory for Abstract Data Types•" TR-237

  • Kaput, Deepak.
  • Laboratory for Computer Science• Massachusetts…
  • 1980

What 'Fuzzy HOS' May Mean." ProceedlnKs, Fourth International Computer Software and Applications Con..___~ ference

  • Prade, Henri, Lucia Valna
  • IEEE Catalog No
  • 1980

Construction and Selection in the Mental Representation of Text." Cahler_.~sd__ee~'Institut d~eLingulstique de Louvain

  • Miller, A George
  • 1979

Essays on Form and Interpretation

  • Chomsky, Noam.
  • New York: North-Holland.
  • 1977

The Formal Semantics of Quantification." UCLA doctoral dissertation. Ann Arbor, Michigan: University Microfilms

  • Cushing, Steven
  • 1976

Formal Semantics and Logic

  • van Fraassen, C Bas
  • 1971