Least fixpoints as meanings of recursive definitions.

Abstract not found

Abstract not found

El Salvador, Guatemala is a, study in black and white. On the left is a collection of extreme Marxist-Leninist groups led by what one diplomat calls “a pretty faceless bunch of people.’ ’ On the right is an entrenched elite that has dominated Central America’s most populous country since a CIA-backed coup deposed the reformist government of Col. Jacobo Arbenz Guzmán in 1954. Moderates of the political center. embattled but alive in E1 Salvador, have virtually disappeared in Guatemala-joining more than 30.000 victims of terror over the last tifteen vears. “The situation in Guatemala is much more serious than in EI Salvador, ” declares one Latin American diplomat. “The oligarchy is that much more reactionary. and the choices are far fewer. “ ‘Zero’: The Guatemalan oligarchs hated Jimmy Carter for cutting off U.S. military aid in 1977 to protest human-rights abuses-and the right-wingers hired marimba bands and set off firecrackers on the night Ronald Reagan was elected. They considered Reagan an ideological kinsman and believed they had a special

as the transfer of activation levels among units and the modification of the weights of their connections. We analyze both the linguistic and the developmental assumptions of the model in detail and discover that (1) it cannot represent certain words, (2) it cannot learn many rules, (3) it can learn rules found

An intensional model for the programming language PCF is described, in which the types of PCF are interpreted by games, and the terms by certain "history-free" strategies. This model is shown to capture definability in PCF. More precisely, every compact strategy in the model is definable

What working memory is for Citation for published version: Logie, RH 1997, 'What working memory is for ' Behavioral and Brain Sciences, vol 20, no. 1, pp. 28. Link: Link to publication record in Edinburgh Research Explorer

The notes for this course have been evolving for years now, starting with some old notes from the early 1990s by Angelika Kratzer, Irene Heim, and myself, which have since been modified and expanded every year by Irene or myself. Because this version of the notes has not been seen by my co-author, I alone am responsible for any defects. – Kai von Fintel, Spring 2010 This is a work in progress. We may eventually publish these materials as a followup volume to Heim & Kratzer’s Semantics in Generative Grammar, Blackwell 1998. In the meantime, we encourage the use of these notes in courses at other institutions. Of course, you need to give full credit to the authors and you may not use the notes for any commercial purposes. If you use the notes, we would like to be notified and we would very much appreciate any comments, criticism, and advice on these materials. We have already profited from feedback sent in by several people who have used the notes and the more the better. Direct your communication to:

Abstract—We describe a framework for truly concurrent game semantics of programming languages, based on Rideau and Winskel’s concurrent games on event structures. The model supports a notion of innocent strategies that permits concur-rent and non-deterministic behaviour, but which coincides

Abstract not found