2012-03-23, English, Article, Journal or magazine article edition: The Scott model of linear logic is the extensional collapse of its relational model. Ehrhard, Thomas

User activity

Share to:
 
Bookmark: http://trove.nla.gov.au/version/177358836
Physical Description
  • Magazine/​Journal article
Published
  • Elsevier B.V., 2012 March 23
Language
  • English

Edition details

Title
  • The Scott model of linear logic is the extensional collapse of its relational model.
Appears In
  • Theoretical Computer Science, v.424, 2012 March 23, p.20(26) (ISSN: 0304-3975)
Author
  • Ehrhard, Thomas
Published
  • Elsevier B.V., 2012 March 23
Physical Description
  • Magazine/​Journal article
Subjects
Target Audience
  • Academic
  • Trade
Summary
  • To link to full-text access for this article, visit this link: http:/​/​dx.doi.org/​10.1016/​j.tcs.2011.11.027 Byline: Thomas Ehrhard Abstract: We show that the extensional collapse of the relational model of linear logic is the model of prime-algebraic complete lattices, a natural extension to linear logic of the well known Scott semantics of the lambda-calculus. Article History: Received 13 May 2009; Revised 28 September 2011; Accepted 28 November 2011 Article Note: (miscellaneous) Communicated by M. Hofmann
Terms of Use
  • COPYRIGHT 2012 Elsevier B.V.
Language
  • English
Database
  • Gale Academic OneFile
Identifier
  • 280516764

Get this edition

Via a library membership

Library View online via
Australian Bureau of Statistics. Castles Library.
Australian College of Physical Education. Australian College of Physical Education Library.
Australian Catholic University. Alumni Access.
Australian Catholic University. Document Supply Service.
Australian Institute of Professional Education.
Australian Lutheran College. Lohe Memorial Library.
Australian School of Management. Perth Campus Library.
Avondale College. Avondale College of Higher Education Sydney Campus Library.
University of Adelaide. Barr Smith Library.
Blue Mountains International Hotel Management School.
Bond University. John and Alison Kearney Library .
Campion College Australia.
Charles Darwin University. Casuarina Campus Library.
Cengage Education.
Christian Heritage College. Christian Heritage College Library.
Deakin University. Deakin University Library.
Edith Cowan University. Edith Cowan University Library.
Australian College of Natural Medicine Pty Ltd. Endeavour College of Natural Health Library.
Excelsia College. Excelsia College Library.
Kaplan Professional. Library.
Fire & Rescue NSW. FRNSW Library.
University of Notre Dame Australia. Galvin Medical Library.
Holmesglen Institute of TAFE. Holmesglen Learning Commons.
International College of Management, Sydney. ICMS Library.
Macquarie University. Macquarie University Library.
Marcus Oldham College. Sir James Darling Resource Centre.
Melbourne Library Service.
Monash University. Monash University Library.
Moore Theological College. Moore Theological College Library.
SA Mental Health Services.
Sydney Missionary and Bible College. J.T.H. Kerr Library.
South Australian Research and Development Institute. South Australian Aquatic Sciences Centre Library.
South Western Sydney Institute of TAFE.
Swinburne University of Technology. Swinburne Library.
Tabor College Victoria.
Tabor Adelaide. Tabor College Library.
The Southport School. Senior Library.
Think: Education Group. Think Education Group Learning Resource Centre.
University of New England. Dixson Library.
University of Canberra. University of Canberra Library.
University of Wollongong. University of Wollongong Library.
University of Queensland. University of Queensland Library. UQ Library Cyberschool.
Catholic Institute of Sydney. Veech Library.
Western Sydney University. Hawkesbury Campus Library.
Show 0 more libraries...
Library View online via
Australian Bureau of Statistics. Castles Library.
University of Canberra. University of Canberra Library.
Show 0 more libraries...
Library View online via
Australian College of Physical Education. Australian College of Physical Education Library.
Australian Catholic University. Alumni Access.
Australian Catholic University. Document Supply Service.
Australian Institute of Professional Education.
Avondale College. Avondale College of Higher Education Sydney Campus Library.
Blue Mountains International Hotel Management School.
Campion College Australia.
Cengage Education.
Excelsia College. Excelsia College Library.
Kaplan Professional. Library.
Fire & Rescue NSW. FRNSW Library.
International College of Management, Sydney. ICMS Library.
Macquarie University. Macquarie University Library.
Moore Theological College. Moore Theological College Library.
Sydney Missionary and Bible College. J.T.H. Kerr Library.
South Western Sydney Institute of TAFE.
Think: Education Group. Think Education Group Learning Resource Centre.
University of New England. Dixson Library.
University of Wollongong. University of Wollongong Library.
Catholic Institute of Sydney. Veech Library.
Western Sydney University. Hawkesbury Campus Library.
Show 0 more libraries...
Library View online via
Charles Darwin University. Casuarina Campus Library.
Show 0 more libraries...
Library View online via
Bond University. John and Alison Kearney Library .
Christian Heritage College. Christian Heritage College Library.
Australian College of Natural Medicine Pty Ltd. Endeavour College of Natural Health Library.
The Southport School. Senior Library.
University of Queensland. University of Queensland Library. UQ Library Cyberschool.
Show 0 more libraries...
Library View online via
Australian Lutheran College. Lohe Memorial Library.
University of Adelaide. Barr Smith Library.
SA Mental Health Services.
South Australian Research and Development Institute. South Australian Aquatic Sciences Centre Library.
Tabor Adelaide. Tabor College Library.
Show 0 more libraries...
Library View online via
Deakin University. Deakin University Library.
Holmesglen Institute of TAFE. Holmesglen Learning Commons.
Marcus Oldham College. Sir James Darling Resource Centre.
Melbourne Library Service.
Monash University. Monash University Library.
Swinburne University of Technology. Swinburne Library.
Tabor College Victoria.
Show 0 more libraries...

With access conditions

Published in

Some editions of the publication "Theoretical computer science" are available from these libraries. The edition containing this article ( v.424, 2012 March 23, p.20(26) ) may not be available:

None of your libraries hold this item.

These 19 locations in All:

Library Access Call number(s) Formats held Language
Australian Nuclear Science and Technology Organisation. ANSTO Library. Not open to the public Held. Check with Library Periodical; Journal, magazine, other English
CAVAL. CARM Centre. May not be open to the public brn.290226; Held; Vol. 22 - v. 135; 1983 - 1994; Inc. Periodical; Journal, magazine, other German; English; French
Charles Sturt University. CSU Library - Electronic Resources (shared). Open to the public 001666345; Full Text Available; Elsevier SD Freedom Collection - Available from 1999 volume: 210 issue: 1 Periodical; Journal, magazine, other German; English; French
Edith Cowan University. Edith Cowan University Library. Open to the public Periodical; Journal, magazine, other English
Flinders University. Flinders University Central Library. Open to the public 9959066501771; HELD Periodical; Journal, magazine, other German; English; French
Macquarie University. Macquarie University Library. Open to the public 9910306710802171; QA267 .T46; 1991-1998 Periodical; Journal, magazine, other German; English; French
Monash University. Monash University Library. Open to the public 99678701751; 004.05 T396; v. 136 (1994) to v. 329 (2004); HA; SER Periodical; Journal, magazine, other German; English; French
National Library of Australia. Open to the public 778455; S 519.405 THE; Vol. 1, no. 1-v. 41, no. 2/3 (June 1975-1985) . imperfect Periodical; Journal, magazine, other German; English; French
Southern Cross University. University Library Lismore. Open to the public Electronic resource - Check catalogue for holdings Periodical; Journal, magazine, other German; English; French
The University of Melbourne. The University of Melbourne Library. Open to the public MS P THEO; v.1-249; 1975-2000; imperfect, Online access. Available for document delivery - restrictions apply. Periodical; Journal, magazine, other German; English; French
The University of Sydney. University of Sydney Library. Open to the public held; Vol. 1, no. 1 (June 1975)-v. 229 (1999) fhrl Periodical; Journal, magazine, other German; English; French
University of Newcastle. University of Newcastle Library. Open to the public .b10031571; S519.405/1 <.b10031571>; Vol. 1, no. 1-v. 55, no. 2/3; 1975-1987 Periodical; Journal, magazine, other German; English; French
University of New England. Dixson Library. Open to the public 1152-40060; <1152-40060>; P004/T396 <1152-40060>; V.63 (Jan./Mar.1989)- Periodical; Journal, magazine, other German; English; French
University of Queensland. University of Queensland Library. Open to the public b10152088; eslp QA76 .T45 : 1(1975/76)-136(1994) Microform; Periodical; Journal, magazine, other English
University of Tasmania. Open to the public .b10483147; Scien ser v1-152;1975/76-1995 Periodical; Journal, magazine, other English
University of Technology Sydney. University Library. Open to the public .b12950919; held Periodical; Journal, magazine, other German; English; French
University of Western Australia. University of Western Australia Library. Open to the public 9970316702101; HELD; V. 70-119, 187(1-2) ; 1990-1993, 1997. Periodical; Journal, magazine, other German; English; French
University of Wollongong. University of Wollongong Library. Open to the public Online access. Not available for document delivery Periodical; Journal, magazine, other English
Western Sydney University. Penrith Campus Library. Open to the public 490532; Online version Periodical; Journal, magazine, other English
Show 0 more libraries...

This single location in Australian Capital Territory:

Library Access Call number(s) Formats held Language
National Library of Australia. Open to the public 778455; S 519.405 THE; Vol. 1, no. 1-v. 41, no. 2/3 (June 1975-1985) . imperfect Periodical; Journal, magazine, other German; English; French
Show 0 more libraries...

These 10 locations in New South Wales:

Library Access Call number(s) Formats held Language
Australian Nuclear Science and Technology Organisation. ANSTO Library. Not open to the public Held. Check with Library Periodical; Journal, magazine, other English
Charles Sturt University. CSU Library - Electronic Resources (shared). Open to the public 001666345; Full Text Available; Elsevier SD Freedom Collection - Available from 1999 volume: 210 issue: 1 Periodical; Journal, magazine, other German; English; French
Macquarie University. Macquarie University Library. Open to the public 9910306710802171; QA267 .T46; 1991-1998 Periodical; Journal, magazine, other German; English; French
Southern Cross University. University Library Lismore. Open to the public Electronic resource - Check catalogue for holdings Periodical; Journal, magazine, other German; English; French
The University of Sydney. University of Sydney Library. Open to the public held; Vol. 1, no. 1 (June 1975)-v. 229 (1999) fhrl Periodical; Journal, magazine, other German; English; French
University of Newcastle. University of Newcastle Library. Open to the public .b10031571; S519.405/1 <.b10031571>; Vol. 1, no. 1-v. 55, no. 2/3; 1975-1987 Periodical; Journal, magazine, other German; English; French
University of New England. Dixson Library. Open to the public 1152-40060; <1152-40060>; P004/T396 <1152-40060>; V.63 (Jan./Mar.1989)- Periodical; Journal, magazine, other German; English; French
University of Technology Sydney. University Library. Open to the public .b12950919; held Periodical; Journal, magazine, other German; English; French
University of Wollongong. University of Wollongong Library. Open to the public Online access. Not available for document delivery Periodical; Journal, magazine, other English
Western Sydney University. Penrith Campus Library. Open to the public 490532; Online version Periodical; Journal, magazine, other English
Show 0 more libraries...
None of your libraries hold this item.

This single location in Queensland:

Library Access Call number(s) Formats held Language
University of Queensland. University of Queensland Library. Open to the public b10152088; eslp QA76 .T45 : 1(1975/76)-136(1994) Microform; Periodical; Journal, magazine, other English
Show 0 more libraries...

This single location in South Australia:

Library Access Call number(s) Formats held Language
Flinders University. Flinders University Central Library. Open to the public 9959066501771; HELD Periodical; Journal, magazine, other German; English; French
Show 0 more libraries...

This single location in Tasmania:

Library Access Call number(s) Formats held Language
University of Tasmania. Open to the public .b10483147; Scien ser v1-152;1975/76-1995 Periodical; Journal, magazine, other English
Show 0 more libraries...

These 3 locations in Victoria:

Library Access Call number(s) Formats held Language
CAVAL. CARM Centre. May not be open to the public brn.290226; Held; Vol. 22 - v. 135; 1983 - 1994; Inc. Periodical; Journal, magazine, other German; English; French
Monash University. Monash University Library. Open to the public 99678701751; 004.05 T396; v. 136 (1994) to v. 329 (2004); HA; SER Periodical; Journal, magazine, other German; English; French
The University of Melbourne. The University of Melbourne Library. Open to the public MS P THEO; v.1-249; 1975-2000; imperfect, Online access. Available for document delivery - restrictions apply. Periodical; Journal, magazine, other German; English; French
Show 0 more libraries...
None of your libraries hold this item.

Other suppliers

User activity


e.g. test cricket, Perth (WA), "Parkes, Henry"

Separate different tags with a comma. To include a comma in your tag, surround the tag with double quotes.

Be the first to add a tag for this edition

Be the first to add this to a list

Comments and reviews

What are comments? Add a comment

No user comments or reviews for this version

Add a comment