What people are saying - Write a review
We haven't found any reviews in the usual places.
Polymorphism Is Conservative over Simple Types
OrderSorted Algebra Solves the ConstructorSelector Multiple Representation
32 other sections not shown
Other editions - View all
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