Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization

Authors:
Steffen van Bakel;Franco Barbanera;Maribel Fernández
Affiliations:
-;-;-
Venue:
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Year:
1996

Citing 0
Cited 2

Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule

TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
A rewriting framework for the composition of access control policies

Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming

Quantified Score

Hi-index	0.00

Visualization

Abstract