Return to home page
Searching: Muskingum library catalog
Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference TACS'97 (1997 : Sendai-shi, Miyagi-ken, Japan)
Title Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings / Martín Abadi, Takayasu Ito (eds.).
Imprint Berlin ; New York : Springer, [1997]
©1997

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference TACS'97 (1997 : Sendai-shi, Miyagi-ken, Japan)
Series Lecture notes in computer science, 0302-9743 ; 1281
Lecture notes in computer science ; 1281. 0302-9743
Subject Computer software -- Congresses.
Alt Name Abadi, Martín.
Itō, T. (Takayasu), 1940-
Description xi, 638 pages : illustrations ; 24 cm.
monochrome rdacc
Bibliography Note Includes bibliographical references and index.
Contents Strong Normalisation in Higher-Order Action Calculi / Robin Milner -- Extending ML with Semi-explicit Higher-Order Polymorphism / Jacques Garrigue and Didier Remy -- Optimal Representations of Polymorphic Types with Subtyping / Alexander Aiken, Edward L. Wimmers and Jens Palsberg -- Cyclic Lambda Calculi / Zena M. Ariola and Stefan Blom -- Type System for Specializing Polymorphism / Atsushi Ohori -- On Strictness and Totality / Mario Coppo, Ferruccio Damiani and Paola Giannini -- Sound Specialization in the Presence of Computational Effects / Julia L. Lawall and Peter Thiemann -- An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement / Yoshiki Kinoshita, Peter W. O'Hearn and A. John Power [et al.] -- Infinitary Domain Logic for Finitary Transition Systems / Marcello M. Bonsangue and Joost N. Kok -- Some Results in the Join-Calculus / Jean-Jacques Levy -- Local Model Checking for Value-Passing Processes / Julian Rathke and Matthew Hennessy.
Access Available to OhioLINK libraries.
Reproduction Electronic reproduction. Columbus, OH : OhioLINK, 2008.
System Details Mode of access: World Wide Web.
ISBN 354063388X (softcover : alk. paper)
9783540633884 (softcover : alk. paper)
OCLC # 729901539
Link OhioLINK electronic book center (OCoLC)180989150
SpringerLink (OCoLC)43927870
Additional Format TACS '97 (1997 : Sendai-han, Japan) Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings. (OCoLC)37353968


If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team