Similarity and bisimilarity for countable non-determinism and higher-order functions (extended abstract)

Sôren B. Lassen; Corin S. Pitcher

doi:10.1016/S1571-0661(05)80704-2

Similarity and bisimilarity for countable non-determinism and higher-order functions (extended abstract)

Sôren B. Lassen
, Corin S. Pitcher

University of Cambridge Computer Laboratory
University of Oxford

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	246-266
Number of pages	21
Journal	Electronic Notes in Theoretical Computer Science
Volume	10
DOIs	https://doi.org/10.1016/S1571-0661(05)80704-2
State	Published - 1998
Externally published	Yes
Event	HOOTS II, Second Workshop on Higher-Order Operational Techniques in Semantics - Duration: Dec 8 1997 → Dec 12 1997

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Keywords

Applicative bisimilarity
Countable non-determinism
Lambda-calculus

Access to Document

10.1016/S1571-0661(05)80704-2

Cite this

@article{c6a230ff9ea54e2fad61054d68b36ff8,

title = "Similarity and bisimilarity for countable non-determinism and higher-order functions (extended abstract)",

keywords = "Applicative bisimilarity, Countable non-determinism, Lambda-calculus",

author = "Lassen, \{S{\^o}ren B.\} and Pitcher, \{Corin S.\}",

year = "1998",

doi = "10.1016/S1571-0661(05)80704-2",

language = "English",

volume = "10",

pages = "246--266",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

note = "HOOTS II, Second Workshop on Higher-Order Operational Techniques in Semantics ; Conference date: 08-12-1997 Through 12-12-1997",

}

TY - JOUR

T1 - Similarity and bisimilarity for countable non-determinism and higher-order functions (extended abstract)

AU - Lassen, Sôren B.

AU - Pitcher, Corin S.

PY - 1998

Y1 - 1998

KW - Applicative bisimilarity

KW - Countable non-determinism

KW - Lambda-calculus

UR - https://www.scopus.com/pages/publications/19144368949

UR - https://www.scopus.com/pages/publications/19144368949#tab=citedBy

U2 - 10.1016/S1571-0661(05)80704-2

DO - 10.1016/S1571-0661(05)80704-2

M3 - Conference article

AN - SCOPUS:19144368949

SN - 1571-0661

VL - 10

SP - 246

EP - 266

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

T2 - HOOTS II, Second Workshop on Higher-Order Operational Techniques in Semantics

Y2 - 8 December 1997 through 12 December 1997

ER -

Similarity and bisimilarity for countable non-determinism and higher-order functions (extended abstract)

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this