File(s) not publicly available
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
book
posted on 2023-06-08, 05:00 authored by Guy McCuskerPublished in Springer-Verlag Distinguished Dissertations series
History
Publication status
- Published
Publisher
Springer-VerlagPage range
208Place of publication
LondonISBN
9783540762553Department affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC