Parameterized data type and process specifications using projection algebras

Authors:
M. GrosseRhode
Affiliations:
-
Venue:
Categorical methods in computer science with aspects from topology
Year:
1989

Citing 0
Cited 2

Abstract and behaviour module specifications

Mathematical Structures in Computer Science
A new model construction for the polymorphic lambda calculus

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract