Mathematical Foundations of Programming Language Semantics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540190202, 9783540389200

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Semantics of block structured languages with pointers

Mathematical Foundations of Programming Language Semantics - Lecture Notes in Computer Science ◽

10.1007/3-540-19020-1_4 ◽

1988 ◽

pp. 57-84 ◽

Author(s):

Eric G. Wagner

Keyword(s):

Block Structured

Download Full-text

The shuffle bialgebra

Mathematical Foundations of Programming Language Semantics - Lecture Notes in Computer Science ◽

10.1007/3-540-19020-1_32 ◽

1988 ◽

pp. 616-637 ◽

Author(s):

David B. Benson

Download Full-text

A treatment of languages with stages of evaluation

Mathematical Foundations of Programming Language Semantics - Lecture Notes in Computer Science ◽

10.1007/3-540-19020-1_23 ◽

1988 ◽

pp. 425-443

Author(s):

Laurette Bradley

Download Full-text

Initial algebra semantics and concurrency

Mathematical Foundations of Programming Language Semantics - Lecture Notes in Computer Science ◽

10.1007/3-540-19020-1_28 ◽

1988 ◽

pp. 528-549

Author(s):

Maria Zamfir

Keyword(s):

Initial Algebra ◽

Initial Algebra Semantics

Download Full-text

The formal description of data types using sketches

Mathematical Foundations of Programming Language Semantics - Lecture Notes in Computer Science ◽

10.1007/3-540-19020-1_27 ◽

1988 ◽

pp. 490-527 ◽

Author(s):

Charles Wells ◽

Michael Barr

Keyword(s):

Formal Description ◽

Download Full-text

A categorical approach to realizability and polymorphic types

Mathematical Foundations of Programming Language Semantics - Lecture Notes in Computer Science ◽

10.1007/3-540-19020-1_2 ◽

1988 ◽

pp. 23-42 ◽

Author(s):

Aurelio Carboni ◽

Peter J. Freyd ◽

Andre Scedrov

Keyword(s):

Categorical Approach

Download Full-text

The versatile continuous order

Mathematical Foundations of Programming Language Semantics - Lecture Notes in Computer Science ◽

10.1007/3-540-19020-1_7 ◽

1988 ◽

pp. 134-160 ◽

Author(s):

Jimmie D. Lawson

Download Full-text

Solving reflexive domain equations in a category of complete metric spaces

Mathematical Foundations of Programming Language Semantics - Lecture Notes in Computer Science ◽

10.1007/3-540-19020-1_13 ◽

1988 ◽

pp. 254-288 ◽

Author(s):

Pierre America ◽

Jan Rutten

Keyword(s):

Metric Spaces ◽

Complete Metric Spaces

Download Full-text

Kan extensions in effective semantics

Mathematical Foundations of Programming Language Semantics - Lecture Notes in Computer Science ◽

10.1007/3-540-19020-1_6 ◽

1988 ◽

pp. 121-132

Author(s):

Philip S. Mulry

Keyword(s):

Download Full-text

The semantics of Miranda's algebraic types

Mathematical Foundations of Programming Language Semantics - Lecture Notes in Computer Science ◽

10.1007/3-540-19020-1_25 ◽

1988 ◽

pp. 455-473

Author(s):

Kim B. Bruce ◽

Jon G. Riecke

Download Full-text