There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 15

Record: found
Abstract: not found
Article: not found

Fully abstract models of typed λ-calculi

Robin Milner (1977)

0 comments Cited 58 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Proving Congruence of Bisimulation in Functional Programming Languages

Douglas Howe (1996)

0 comments Cited 23 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Operationally-Based Theories of Program Equivalence

Andrew F. Pitts (2009)

0 comments Cited 10 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2015

Publication date (Online): November 12 2015

Pages: 54-68

DOI: 10.1007/978-3-319-24644-4_4

SO-VID: 3e6145fa-6af8-4ba5-bb7a-128bc27a8352

History

Data availability:

Applicative Bisimulation and Quantum λ-Calculi

Read this book at

Related collections

AI & Robotics

Most cited references 15

Fully abstract models of typed λ-calculi

Proving Congruence of Bisimulation in Functional Programming Languages

Operationally-Based Theories of Program Equivalence

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 5,373