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

Call-by-value games

other

Author(s): Samson Abramsky , Guy McCusker

Publication date (Online): June 15 2005

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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

Linear logic

Jean-Yves Girard (1987)

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

Bookmark

Record: found
Abstract: not found
Article: not found

LCF considered as a programming language

G.D. Plotkin (1977)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Semantics of weakening and contraction

Bart Jacobs (1994)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1998

Publication date (Online): June 15 2005

Pages: 1-17

DOI: 10.1007/BFb0028004

SO-VID: cc651ed5-233e-47aa-a09d-d647abafd5f4

History

Data availability:

Call-by-value games

Read this book at

Related collections

Value-based Healthcare

Most cited references 15

Linear logic

LCF considered as a programming language

Semantics of weakening and contraction

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,785

Cited by 20