Found an issue? Give us feedback

https://doi.org/10.1...arrow_drop_down

https://doi.org/10.1007/978-94...

Part of book or chapter of book . 1982 . Peer-reviewed

Data sources: Crossref

https://link.springer.com/10.1...

Other literature type

Data sources: Microsoft Academic Graph

Select content type to embed

All Research products

arrow_drop_down

<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

Lectures on a Mathematical Theory of Computation

Name: Lectures on a Mathematical Theory of Computation
Creator: Dana Scott
Keywords: 4. Education, 16. Peace & justice

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Other literature type 01 Jan 1982Publisher:Springer Netherlands

Authors: Dana Scott;

doi: 10.1007/978-94-009-7893-5_9

Lectures on a Mathematical Theory of Computation

- Summary
- Metrics

Abstract

These notes were originally written for lectures on the semantics of programming languages delivered at Oxford during Michaelmas Term 1980. The purpose of the course was to provide the foundations needed for the method of denotational semantics; in particular I wanted to make the connections with recursive function theory more definite and to show how to obtain explicit, effectively given solutions to domain equations. Roughly, these chapters cover the first half of the book by Stoy, and he was able to continue the lectures the next term discussing semantical concepts following his text.

Related Organizations

Carnegie Mellon University
United States

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).	110
	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).	Top 1%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%