Proof and computation /
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
c1995.
|
| Series: | NATO ASI series. Computer and systems sciences ;
no. 139. |
| Subjects: |
Table of Contents:
- Program Development by Proof Transformation / Ulrich Berger and Helmut Schwichtenberg
- Concurrent Processes and Petri Nets / Wilfried Brauer and Robert Gold
- Using Reflection to Explain and Enhance Type Theory / Robert L. Constable
- On Geometry of Interaction / Jean-Yves Girard
- Behavioural Specifications / Rolf Hennicker and Martin Wirsing
- A Deductive Approach to Logic Programming / Gerhard Jager
- Rewrite Proofs and Computations / Jean-Pierre Jouannaud
- Action Structures and the Pi Calculus / Robin Milner
- Linear Logic and Computation: A Survey / Andre Scedrov
- Computable Functions on Stream Algebras / John V. Tucker and Jeffrey I. Zucker
- The Proof Theoretic Complexity of Recursive Programs / Stanley S. Wainer.