A theory of bisimulation for the [lambda]-calculus
Bookmark
ShareCopied to clipboardA theory of bisimulation for the [lambda]-calculus is a book. It was written by Davide Sangiorgi and published by LFCS, Dept. of Computer Science, University of Edinburgh in 1993.
Key facts
- author: Davide Sangiorgi
- publication date: 1993
- book publisher: LFCS, Dept. of Computer Science, University of Edinburgh
- book series: LFCS report series
- book subjects: Lambda calculus
See more factsExtract data
Download datasets about A theory of bisimulation for the [lambda]-calculus:
Dataset of books series that contain A theory of bisimulation for the [lambda]-calculus:
Dataset of book subjects that contain A theory of bisimulation for the [lambda]-calculus:
"A theory of bisimulation for the [lambda]-calculus" is one of the books by Davide Sangiorgi, books by LFCS, Dept. of Computer Science, University of Edinburgh and 2,617,384 books in our database.
Related
Connected or similar to A theory of bisimulation for the [lambda]-calculus: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.