Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers /
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | |
| Формат: | Материалы конференции |
| Язык: | English |
| Опубликовано: |
Berlin ; New York :
Springer-Verlag,
c1994.
|
| Серии: | Lecture notes in computer science ;
816. |
| Предметы: |
Оглавление:
- Interaction Systems / Andrea Asperti and Cosimo Laneve
- Strong Normalization of Typeable Rewrite Systems / Steffen van Bakel and Maribel Fernandez
- A Transformation System Combining Partial Evaluation with Term Rewriting / Francoise Bellegarde
- Prototyping Relational Specifications Using Higher-Order Objects / Rudolf Berghammer, Thomas F. Gritzner and Gunther Schmidt
- Origin Tracking for Higher-Order Term Rewriting Systems / Arie van Deursen and T. B. Dinesh
- Theory Interpretation in Simple Type Theory / William H. Farmer
- The Semantics of Spectrum / Radu Grosu and Franz Regensburger
- ATLAS: A Typed Language for Algebraic Specification / B. M. Hearn and K. Meinke
- Compilation of Combinatory Reduction Systems / Stefan Kahrs
- Specification and Verification in Higher-Order Algebra: A Case Study of Convolution / K. Meinke and L. J. Steggles
- Ordered and Continuous Models of Higher-Order Specifications / Bernhard Moller.
- Rewriting Properties of Combinators for Rudimentary Linear Logic / Monica Nesi, Valeria de Paiva and Eike Ritter
- Comparing Combinatory Reduction Systems and Higher-Order Rewrite Systems / Vincent van Oostrom and Femke van Raamsdonk
- Termination Proofs for Higher-Order Rewrite Systems / Jaco van de Pol
- Extensions of Initial Models and their Second-Order Proof Systems / Pierre-Yves Schobbens.