## Proceedings |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Invited Speaker | 1 |

Polymorphism Is Conservative over Simple Types | 7 |

OrderSorted Algebra Solves the ConstructorSelector Multiple Representation | 18 |

Copyright | |

32 other sections not shown

### Other editions - View all

### Common terms and phrases

abstract actions addition algebra algorithm allows appear apply approach assume atomic automata base behavior calculus called closed complete Computer Computer Science condition configuration consider consistent constants construction contains corresponding databases default defined definition denote derivation domain elements equality equations equivalent example exists expressions extension fact fair finite fixed formal formula function give given Hence holds induction infinite initial input interpretation introduced lambda language Lemma linear logic programming means method natural Note notion objects obtained occur operations partial path player possible predicate present problem proof Proposition prove recursive reduction relation respect restricted rules satisfies semantics sequence simple sort specification step structure symbols temporal Theorem theory tion transitions trees true University variables