Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 Proceedings - Softcover

 
Image Not Available
Softcover
ISBN 10: 3662213532 ISBN 13: 9783662213537
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

Synopsis

A categorical treatment of polymorphic operations.- A categorical approach to realizability and polymorphic types.- Rule-based semantics for an extended lambda-calculus.- Semantics of block structured languages with pointers.- Assertional categories.- Kan extensions in effective semantics.- The versatile continuous order.- On the Smyth power domain.- The metric closure powerspace construction.- A powerdomain construction.- Closure properties of a probabilistic domain construction.- Quasi-uniformities: Reconciling domains with metric spaces.- Solving reflexive domain equations in a...

More

Other Popular Editions of the Same Title

Image Not Available

Featured Edition

ISBN 10:  3540190201 ISBN 13:  9783540190202
Publisher: Springer, 1988
Softcover