Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:era.ed.ac.uk:1842/199

A Per Model of Polymorphism and Recursive Types

Authors
Publication date
5 November 2003
Publisher

Abstract

A model of Reynolds’ polymorphic lambda calculus is provided, which also allows the recursive definition of elements and types. The technique is to use a good class of partial equivalence relations over a certain cpo. This allows the combination of inverse-limits for recursion and intersection for polymorphism

Similar works

Full text

thumbnail-image

Edinburgh Research Archive

redirect
oaioai:era.ed.ac.uk:1842/199
Last time updated on 07/06/2021

This paper was published in Edinburgh Research Archive.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.