<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Dynamic Semantics as Monadic Computation

Name: Dynamic Semantics as Monadic Computation
Creator: Unger, Christina
Keywords: 006

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Article , Conference object 01 Jan 2012 Germany Publisher:Springer Berlin Heidelberg

Authors: Unger, Christina;

doi: 10.1007/978-3-642-32090-3_7

Dynamic Semantics as Monadic Computation

- Summary
- Subjects
- Metrics

Abstract

This paper proposes a formulation of the basic ideas of dynamic semantics in terms of the state monad. Such a monadic treatment allows to specify meanings as computations that clearly separate operations accessing and updating the context from purely truth conditional meaning composition.

Country

Germany

Related Organizations

Bielefeld University
Germany

Keywords

006

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	9
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Top 10%

Average

Green