Fully abstract models of typed λ-calculi

Author:

RMRobin Milner
Robin Milner

Publisher website

1 February 1977

journal article
Published by Elsevier in Theoretical Computer Science

Vol. 4 (1) , 1-22
DOI:10.1016/0304-3975(77)90053-6

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
SIAM Journal on Computing, 1976