Categorical models for local names

Ian Stark

doi:10.1007/BF01806033

Categorical models for local names

Research output: Contribution to journal › Article › peer-review

Abstract

This paper describes the construction of categorical models for thenu-calculus, a language that combines higher-order functions with dynamically creatednames. Names are created with local scope, they can be compared with each other and passed around through function application, but that is all.

Original language	English
Pages (from-to)	77-107
Number of pages	31
Journal	LISP and Symbolic Computation
Volume	9
Issue number	1
DOIs	https://doi.org/10.1007/BF01806033
Publication status	Published - Feb 1996

Access to Document

10.1007/BF01806033

http://link.springer.com/article/10.1007%2FBF01806033

Cite this

@article{adba0353f6714f34a234bfac2ed37a13,

title = "Categorical models for local names",

abstract = "This paper describes the construction of categorical models for thenu-calculus, a language that combines higher-order functions with dynamically creatednames. Names are created with local scope, they can be compared with each other and passed around through function application, but that is all.",

author = "Ian Stark",

year = "1996",

month = feb,

doi = "10.1007/BF01806033",

language = "English",

volume = "9",

pages = "77--107",

journal = "LISP and Symbolic Computation",

issn = "0892-4635",

publisher = "Springer",

number = "1",

}

TY - JOUR

T1 - Categorical models for local names

AU - Stark, Ian

PY - 1996/2

Y1 - 1996/2

N2 - This paper describes the construction of categorical models for thenu-calculus, a language that combines higher-order functions with dynamically creatednames. Names are created with local scope, they can be compared with each other and passed around through function application, but that is all.

AB - This paper describes the construction of categorical models for thenu-calculus, a language that combines higher-order functions with dynamically creatednames. Names are created with local scope, they can be compared with each other and passed around through function application, but that is all.

U2 - 10.1007/BF01806033

DO - 10.1007/BF01806033

M3 - Article

SN - 0892-4635

VL - 9

SP - 77

EP - 107

JO - LISP and Symbolic Computation

JF - LISP and Symbolic Computation

IS - 1

ER -

Categorical models for local names

Abstract

Access to Document

Fingerprint

Cite this