Items related to Mathematical Foundations of Programming Language Semantics:...

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...

More

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

Image Not Available

Featured Edition

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